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