diff options
Diffstat (limited to 'GitAnnex/Options.hs')
| -rw-r--r-- | GitAnnex/Options.hs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/GitAnnex/Options.hs b/GitAnnex/Options.hs index fbb34470b..ad1e0c93b 100644 --- a/GitAnnex/Options.hs +++ b/GitAnnex/Options.hs @@ -41,6 +41,8 @@ options = Option.common ++ "match files present in a remote" , Option ['C'] ["copies"] (ReqArg Limit.addCopies paramNumber) "skip files with fewer copies" + , Option [] ["numcopiesneeded"] (ReqArg Limit.addNumCopiesNeeded paramNumber) + "match files that need more copies" , Option ['B'] ["inbackend"] (ReqArg Limit.addInBackend paramName) "match files using a key-value backend" , Option [] ["inallgroup"] (ReqArg Limit.addInAllGroup paramGroup) |