diff options
Diffstat (limited to 'CmdLine/Usage.hs')
| -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 1d0bba954..6e0a1ca80 100644 --- a/CmdLine/Usage.hs +++ b/CmdLine/Usage.hs @@ -93,6 +93,8 @@ paramFormat :: String paramFormat = "FORMAT" paramFile :: String paramFile = "FILE" +paramRef :: String +paramRef = "REF" paramGroup :: String paramGroup = "GROUP" paramExpression :: String |