Alejandro Serrano 5b78711842 Revert way to report errors when deferred as warnings ... Fixes #310		2014-08-18 17:32:32 +02:00
..
GhcMod	Revert way to report errors when deferred as warnings	2014-08-18 17:32:32 +02:00
GhcMod.hs	Fix merge conflict, dropdown-list no longer needed	2014-08-14 18:02:58 +02:00