diff options
| author | Steve Holme <steve_holme@hotmail.com> | 2014-02-23 10:16:36 +0000 |
|---|---|---|
| committer | Steve Holme <steve_holme@hotmail.com> | 2014-02-23 11:10:01 +0000 |
| commit | c10bf9bb36eb01fb5f888d923871b6ffbc432da7 (patch) | |
| tree | 0816b1d6d68f9f22ff5a7817bc7fe800796ab45c /src/tool_getparam.h | |
| parent | e6e8b144053f4eeda369e53cde01056daceddd03 (diff) | |
tool_getparam: Moved tool_version_info() 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 1fac8daef..ac55d0b18 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_VERSION_INFO_REQUESTED, PARAM_ENGINES_REQUESTED, PARAM_GOT_EXTRA_PARAMETER, PARAM_BAD_NUMERIC, |