diff options
-rw-r--r-- | Types.hs | 2 | ||||
-rw-r--r-- | Types/Option.hs | 17 |
2 files changed, 0 insertions, 19 deletions
@@ -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 ()) |