Julian Ospald 111581ef02 Remove last remnants of OverloadedStrings		2018-07-17 21:55:24 +08:00
..
FileSystem	Remove last remnants of OverloadedStrings	2018-07-17 21:55:24 +08:00
GUI	Remove last remnants of OverloadedStrings	2018-07-17 21:55:24 +08:00
Utils	LIB/GTK: cleanup	2016-06-12 23:40:55 +02:00
History.hs	GTK: overhaul history feature	2016-06-04 18:58:33 +02:00
Settings.hs	Remove last remnants of OverloadedStrings	2018-07-17 21:55:24 +08:00