Daniel Gröber 18a8c67d39 Take sandbox cfg into account for caches		2015-08-19 09:18:10 +02:00
..
GhcMod	Take sandbox cfg into account for caches	2015-08-19 09:18:10 +02:00
GhcMod.hs	Drop memory-mapped files, since ghc doesn't play well with those	2015-08-16 23:20:00 +03:00