Alejandro Serrano 57db768ed0 Fix for GHC 7.4		2014-08-15 10:46:52 +02:00
..
GhcMod	Fix for GHC 7.4	2014-08-15 10:46:52 +02:00
GhcMod.hs	Fix merge conflict, dropdown-list no longer needed	2014-08-14 18:02:58 +02:00