Kazu Yamamoto b96a8c6457 check does not use overrideGhcUserOptions again. ... - workaround for #376 - logically reverting ec1b115cc1		2014-09-22 10:46:46 +09:00
..
GhcMod	check does not use overrideGhcUserOptions again.	2014-09-22 10:46:46 +09:00
GhcMod.hs	ghc-modi's "find" now catches up if packageDb is updated.	2014-09-20 12:25:46 +09:00