History of Idiom 199 > diff from v4 to v5
Edit summary for version 5 by Oldboy:
New Python implementation by user [Oldboy]
New Python implementation by user [Oldboy]
↷
Version 4
2019-10-07, 21:58:20
Version 5
2019-11-05, 20:55:23
Idiom #199 Truncate a file at the current file position
Truncate a file F at the give file position.
Idiom #199 Truncate a file at the current file position
Truncate a file F at the give file position.