Alejandro Serrano 7612229cc0 Keep all errors and warnings for code		2014-08-15 09:32:28 +02:00
..
GhcMod	Keep all errors and warnings for code	2014-08-15 09:32:28 +02:00
GhcMod.hs	Fix merge conflict, dropdown-list no longer needed	2014-08-14 18:02:58 +02:00