diff options
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 |