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