From 929c446f0f76b940d9003afcd136906a9d27acc6 Mon Sep 17 00:00:00 2001 From: Kazu Yamamoto Date: Fri, 6 Sep 2013 13:27:30 +0900 Subject: [PATCH] removing cabal-dev from help. --- src/GHCMod.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/GHCMod.hs b/src/GHCMod.hs index f2642f1..22ae144 100644 --- a/src/GHCMod.hs +++ b/src/GHCMod.hs @@ -57,7 +57,7 @@ argspec = [ Option "l" ["tolisp"] "print detailed info" , Option "s" ["sandbox"] (ReqArg (\s opts -> opts { sandbox = Just s }) "path") - "specify cabal-dev sandbox (default 'cabal-dev`)" + "specify a sandbox" , Option "b" ["boundary"] (ReqArg (\s opts -> opts { lineSeparator = LineSeparator s }) "sep") "specify line separator (default is Nul string)"