Daniel Gröber 5fdaa6adea Merge branch 'master' of https://github.com/meditans/ghc-mod		2015-08-07 07:32:26 +02:00
..
GhcMod	Merge branch 'master' of https://github.com/meditans/ghc-mod	2015-08-07 07:32:26 +02:00
GhcMod.hs	Fix re-init of ghc-modi session after environment change	2015-08-05 08:52:52 +02:00