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