Daniel Gröber cdc74e059c Fix ghc-modi not exiting cleanly		2015-08-18 04:50:19 +02:00
..
GHCMod.hs	Fix ghc-modi not exiting cleanly	2015-08-18 04:50:19 +02:00
GHCModi.hs	Bind ghc-modi executable to right ghc-mod exe	2015-08-11 02:02:08 +02:00
Misc.hs	Fix find being slow on legacy-interactive	2015-08-14 06:48:56 +02:00