diff options
| author | Steve Holme <steve_holme@hotmail.com> | 2014-02-23 10:37:44 +0000 |
|---|---|---|
| committer | Steve Holme <steve_holme@hotmail.com> | 2014-02-23 11:12:03 +0000 |
| commit | 24e22e1078f5c75927f00153ace4a296065dd738 (patch) | |
| tree | 64e4ec37d7fdeac2393e1c2e3841f2a9a4fdecf9 /src/tool_getparam.h | |
| parent | c10bf9bb36eb01fb5f888d923871b6ffbc432da7 (diff) | |
tool_getparam: Moved hugehelp() call into operate()
Diffstat (limited to 'src/tool_getparam.h')
| -rw-r--r-- | src/tool_getparam.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/tool_getparam.h b/src/tool_getparam.h index ac55d0b18..fee790b13 100644 --- a/src/tool_getparam.h +++ b/src/tool_getparam.h @@ -30,6 +30,7 @@ typedef enum { PARAM_REQUIRES_PARAMETER, PARAM_BAD_USE, PARAM_HELP_REQUESTED, + PARAM_MANUAL_REQUESTED, PARAM_VERSION_INFO_REQUESTED, PARAM_ENGINES_REQUESTED, PARAM_GOT_EXTRA_PARAMETER, |