Daniel Gröber bb22b643e9 Add version header to caches

2015-08-10 06:44:34 +02:00

..

GhcMod

Add version header to caches

2015-08-10 06:44:34 +02:00

GhcMod.hs

Fix re-init of ghc-modi session after environment change

2015-08-05 08:52:52 +02:00