Daniel Gröber eceb34c8af Merge branch 'master' of github.com:kazu-yamamoto/ghc-mod		2015-08-21 04:12:29 +02:00
..
GhcMod	Merge branch 'master' of github.com:kazu-yamamoto/ghc-mod	2015-08-21 04:12:29 +02:00
GhcMod.hs	Drop memory-mapped files, since ghc doesn't play well with those	2015-08-16 23:20:00 +03:00