diff options
author | 2015-07-10 13:18:46 -0400 | |
---|---|---|
committer | 2015-07-10 13:23:06 -0400 | |
commit | 19a3a331c35238a10ec2c537cf64d0b4c1fb290c (patch) | |
tree | ca5d79d0be1a80c01c9ad452331bdbebc1c4430a /CmdLine/GitAnnexShell.hs | |
parent | 9886c302ef538e538ec7d48b94374b9d2400004f (diff) |
finished converting all the main options
Diffstat (limited to 'CmdLine/GitAnnexShell.hs')
-rw-r--r-- | CmdLine/GitAnnexShell.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/CmdLine/GitAnnexShell.hs b/CmdLine/GitAnnexShell.hs index c1d02a702..074257ac5 100644 --- a/CmdLine/GitAnnexShell.hs +++ b/CmdLine/GitAnnexShell.hs @@ -54,7 +54,7 @@ cmds = map adddirparam $ cmds_readonly ++ cmds_notreadonly where adddirparam c = c { cmdparamdesc = "DIRECTORY " ++ cmdparamdesc c } -globalOptions :: [Parser GlobalSetter] +globalOptions :: [GlobalOption] globalOptions = globalSetter checkUUID (strOption ( long "uuid" <> metavar paramUUID |