Daniel Gröber e3d4303ea8 Merge branch 'master' into release		2014-10-03 23:00:06 +02:00
..
GhcMod	Merge branch 'master' into release	2014-10-03 23:00:06 +02:00
GhcMod.hs	ghc-modi's "find" now catches up if packageDb is updated.	2014-09-20 12:25:46 +09:00