diff options
| author |  Joey Hess <joeyh@joeyh.name> | 2015-07-10 13:18:46 -0400 |
|---|---|---|
| committer | Joey Hess <joeyh@joeyh.name> | 2015-07-10 13:23:06 -0400 |
| commit | 19a3a331c35238a10ec2c537cf64d0b4c1fb290c (patch) | |
| tree | ca5d79d0be1a80c01c9ad452331bdbebc1c4430a /CmdLine/Option.hs | |
| parent | 9886c302ef538e538ec7d48b94374b9d2400004f (diff) | |
finished converting all the main options
Diffstat (limited to 'CmdLine/Option.hs')
| -rw-r--r-- | CmdLine/Option.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/CmdLine/Option.hs b/CmdLine/Option.hs index 9cc7a1f4b..9f2353f98 100644 --- a/CmdLine/Option.hs +++ b/CmdLine/Option.hs @@ -26,7 +26,7 @@ import Types.Messages import Types.DeferredParse -- Global options accepted by both git-annex and git-annex-shell sub-commands. -commonGlobalOptions :: [Parser GlobalSetter] +commonGlobalOptions :: [GlobalOption] commonGlobalOptions = [ globalFlag (setforce True) ( long "force" |