Kazu Yamamoto ad3a42844d Merge pull request #330 from DanielG/dev-error ... Remove dedicated exception handling in `check` completely		2014-08-19 11:52:09 +09:00
..
GhcMod	Merge pull request #330 from DanielG/dev-error	2014-08-19 11:52:09 +09:00
GhcMod.hs	Fix merge conflict, dropdown-list no longer needed	2014-08-14 18:02:58 +02:00