Lennart Spitzner 103e7e9762 Fix problem with \r\n instead of \n causing output glitches		2022-03-18 13:38:00 +01:00
..
Main.hs	Fix problem with \r\n instead of \n causing output glitches	2022-03-18 13:38:00 +01:00
Util.hs	initial commit	2022-01-24 10:20:13 +00:00