Daniel Gröber f7149ba23f Cleanup

2015-08-18 04:50:51 +02:00

..

GhcMod

Cleanup

2015-08-18 04:50:51 +02:00

GhcMod.hs

Drop memory-mapped files, since ghc doesn't play well with those

2015-08-16 23:20:00 +03:00