| commit | 57dfb227a3b0b00da584734510f9c831a94d08b5 | [log] [tgz] |
|---|---|---|
| author | Ezio Melotti <ezio.melotti@gmail.com> | Fri Jan 11 08:53:10 2013 +0200 |
| committer | Ezio Melotti <ezio.melotti@gmail.com> | Fri Jan 11 08:53:10 2013 +0200 |
| tree | 7d34191acae1dec021ef0028c53ee56c4cac9b01 | |
| parent | 5c4e32b131af335d82e467ba95d6b30a414020e8 [diff] |
#16154: fix some doctests in Doc/library. Patch by Ravi Sinha.