| commit | d23c0a89926570b237013bd60dc31125c07b46cf | [log] [tgz] |
|---|---|---|
| author | Ezio Melotti <ezio.melotti@gmail.com> | Fri Feb 01 05:01:50 2013 +0200 |
| committer | Ezio Melotti <ezio.melotti@gmail.com> | Fri Feb 01 05:01:50 2013 +0200 |
| tree | c8b81b6d8f1ced7a4dd9412a858e6e7c586ff192 | |
| parent | 894499fa27552cc8587e1a41e2ff1298ed0d45d5 [diff] |
#17040: document that shelve.open() and the Shelf object can be used as context managers. Initial patch by Berker Peksag.