Daniel Gröber 8233465a3f Merge branch 'master' into release		2014-12-31 22:58:40 +01:00
..
GhcMod	Merge branch 'master' into release	2014-12-31 22:58:40 +01:00
GhcMod.hs	ghc-modi's "find" now catches up if packageDb is updated.	2014-09-20 12:25:46 +09:00