Andreas Fabri 8d4aaa945d Use istream.eof()

2022-11-30 11:55:32 +00:00

..

CORE

Use istream.eof()

2022-11-30 11:55:32 +00:00

export

extra run of the script to remove tabs and trailing whitespaces

2020-03-26 14:16:06 +01:00