| commit | 405079213b7b35145ec5a437cd8b99528c3e4841 | [log] [tgz] |
|---|---|---|
| author | Ezio Melotti <ezio.melotti@gmail.com> | Fri Jan 11 09:09:07 2013 +0200 |
| committer | Ezio Melotti <ezio.melotti@gmail.com> | Fri Jan 11 09:09:07 2013 +0200 |
| tree | 5f322e834a73771b293658342562a468c5edc6d3 | |
| parent | 444d153d7ed9da2320e1fac91c4eb8666fb914f3 [diff] |
#16154: fix some doctests in Doc/library. Patch by Ravi Sinha.