Nikolay Yakimov 8ef8a86397 Unload mapped files before loading		2015-08-16 23:38:32 +03:00
..
GhcMod	Unload mapped files before loading	2015-08-16 23:38:32 +03:00
GhcMod.hs	Drop memory-mapped files, since ghc doesn't play well with those	2015-08-16 23:20:00 +03:00