diff options
Diffstat (limited to 'server-tools/instance-manager/instance_options.h')
| -rw-r--r-- | server-tools/instance-manager/instance_options.h | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/server-tools/instance-manager/instance_options.h b/server-tools/instance-manager/instance_options.h index 7c1e1a8dcf3..38de839d762 100644 --- a/server-tools/instance-manager/instance_options.h +++ b/server-tools/instance-manager/instance_options.h @@ -46,7 +46,6 @@ public: Instance_options(); ~Instance_options(); - /* fills in argv */ bool complete_initialization(); bool set_option(Named_value *option); |