| commit | ed3cd7e445e7be413d1b454471454f7ff9f21f1f | [log] [tgz] |
|---|---|---|
| author | Ezio Melotti <ezio.melotti@gmail.com> | Mon Apr 15 19:08:31 2013 +0300 |
| committer | Ezio Melotti <ezio.melotti@gmail.com> | Mon Apr 15 19:08:31 2013 +0300 |
| tree | 146e7c94d722abcfe6fc1a693be999328ebdf71d | |
| parent | 45fe62dc9c406f1c2520867d99e557ac227f9bfb [diff] |
#13510: clarify that f.readlines() is note necessary to iterate over a file. Patch by Dan Riti.