diff options
| author |  Joey Hess <joeyh@joeyh.name> | 2015-05-14 15:31:38 -0400 |
|---|---|---|
| committer | Joey Hess <joeyh@joeyh.name> | 2015-05-14 15:31:38 -0400 |
| commit | 9ef82700e53d82b38aed603c5c8033d09fe3cf3f (patch) | |
| tree | 0cf4f7521c9f7c0d96b4a360f616348946728cd2 /CmdLine | |
| parent | 76e69deadf246c95ac4a49b7b72af49a742d235b (diff) | |
unused: Add --used option, which can specify a set of refs to consider used, rather than the default of considering all refs used.
Diffstat (limited to 'CmdLine')
| -rw-r--r-- | CmdLine/Usage.hs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/CmdLine/Usage.hs b/CmdLine/Usage.hs index 82619a304..ad1d4e583 100644 --- a/CmdLine/Usage.hs +++ b/CmdLine/Usage.hs @@ -95,6 +95,8 @@ paramFile :: String paramFile = "FILE" paramRef :: String paramRef = "REF" +paramRefSpec :: String +paramRefSpec = "REFSPEC" paramGroup :: String paramGroup = "GROUP" paramExpression :: String |