From 98b2e4dac265086447ba20f381f6d97cc1c4db46 Mon Sep 17 00:00:00 2001 From: Nikolay Yakimov Date: Tue, 9 Feb 2016 12:42:47 +0300 Subject: [PATCH] Since a backend option, remove encoding short opt --- src/GHCMod/Options.hs | 1 - 1 file changed, 1 deletion(-) diff --git a/src/GHCMod/Options.hs b/src/GHCMod/Options.hs index 40c8fdd..e654c7e 100644 --- a/src/GHCMod/Options.hs +++ b/src/GHCMod/Options.hs @@ -176,7 +176,6 @@ globalArgSpec = Options <*> many fileMappingSpec <*> strOption $$ long "encoding" - <=> short 'e' <=> value "UTF-8" <=> showDefault <=> help "I/O encoding"