Julian Ospald e72bff4180 GTK: fix switchView		2016-06-03 14:06:18 +02:00
..
FileSystem	LIB: fix build with GHC-7.10	2016-06-02 15:00:09 +02:00
GUI	GTK: fix switchView	2016-06-03 14:06:18 +02:00
Utils	Adjust to new HPath API	2016-05-09 16:37:02 +02:00