summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGravatar Joey Hess <joeyh@joeyh.name>2016-01-21 12:59:50 -0400
committerGravatar Joey Hess <joeyh@joeyh.name>2016-01-21 12:59:50 -0400
commit6ccc1e78c24c23bc2d140de32a63379638dce9ee (patch)
tree00af78d4597ac76136293abcfe5306d87a69345b
parent7f5fc3ec8f2d274c068e5662d04233bc0169c740 (diff)
remove module unused since switch to optparse-applicative
-rw-r--r--Types.hs2
-rw-r--r--Types/Option.hs17
2 files changed, 0 insertions, 19 deletions
diff --git a/Types.hs b/Types.hs
index 4d1cde61b..09c8adefd 100644
--- a/Types.hs
+++ b/Types.hs
@@ -15,7 +15,6 @@ module Types (
RemoteGitConfig(..),
Remote,
RemoteType,
- Option
) where
import Annex
@@ -24,7 +23,6 @@ import Types.GitConfig
import Types.Key
import Types.UUID
import Types.Remote
-import Types.Option
type Backend = BackendA Annex
type Remote = RemoteA Annex
diff --git a/Types/Option.hs b/Types/Option.hs
deleted file mode 100644
index f3b5ca9e1..000000000
--- a/Types/Option.hs
+++ /dev/null
@@ -1,17 +0,0 @@
-{- git-annex command options
- -
- - Copyright 2011 Joey Hess <id@joeyh.name>
- -
- - Licensed under the GNU GPL version 3 or higher.
- -}
-
-module Types.Option where
-
-import System.Console.GetOpt
-
-import Annex
-
-{- Each dashed command-line option results in generation of an action
- - in the Annex monad that performs the necessary setting.
- -}
-type Option = OptDescr (Annex ())