Julian Ospald d1432c206b Fix build for ghc < 7.10		2016-05-30 14:20:00 +02:00
..
FileSystem	Minor cleanup	2016-05-29 14:02:26 +02:00
GUI	Fix build for ghc < 7.10	2016-05-30 14:20:00 +02:00
Utils	Adjust to new HPath API	2016-05-09 16:37:02 +02:00