Maxime Gimeno 4b14f5199f use i/oformat()		2020-06-12 13:29:57 +02:00
..
IO	use i/oformat()	2020-06-12 13:29:57 +02:00
internal	extra run of the script to remove tabs and trailing whitespaces	2020-03-26 14:16:06 +01:00