Roberto Ierusalimschy 223bb04090 Correction in the documentation of 'io.lines' ... The loop does not end on end of file, but when the iterator function fails to read a value. (In particular, the format "a" never fails, so a loop with 'io.lines(fname, "a")' never ends.)		2019-07-31 11:41:59 -03:00
..
2html	Year in copyright notice updated to 2019	2019-03-25 14:00:09 -03:00
manual.of	Correction in the documentation of 'io.lines'	2019-07-31 11:41:59 -03:00