| commit | 1b3320659667b688a3d5740d04e4b7480a09fcc3 | [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 | d5d576f139c373161576a531f640c33d72503ce0 | |
| parent | 12ec99d8522ebb53d9afd96421fefb38cfdca749 [diff] |
#13510: clarify that f.readlines() is note necessary to iterate over a file. Patch by Dan Riti.