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 e61aec86fe3..b0503815036 100644 --- a/server-tools/instance-manager/instance_options.h +++ b/server-tools/instance-manager/instance_options.h @@ -45,7 +45,6 @@ public: Instance_options(); ~Instance_options(); - /* fills in argv */ bool complete_initialization(); bool set_option(Named_value *option); |