aboutsummaryrefslogtreecommitdiff
path: root/odb/options.cli
diff options
context:
space:
mode:
authorBoris Kolpackov <boris@codesynthesis.com>2011-02-01 10:58:07 +0200
committerBoris Kolpackov <boris@codesynthesis.com>2011-02-01 10:58:07 +0200
commitae4485ca4f926a0d7f2fc91e9e17a18fc0e83097 (patch)
tree749d380982bacf8d378415bbb18d1d2044e94c75 /odb/options.cli
parent81b48dc3a7480c3df87d4293722b5a3d5f0de2c2 (diff)
Don't use CLI to handle service options
Diffstat (limited to 'odb/options.cli')
-rw-r--r--odb/options.cli6
1 files changed, 0 insertions, 6 deletions
diff --git a/odb/options.cli b/odb/options.cli
index 9be8198..562daa6 100644
--- a/odb/options.cli
+++ b/odb/options.cli
@@ -343,10 +343,4 @@ class options
database-default engine, pass \cb{default} as the value for this
option."
};
-
- //
- // Undocumented options that are used to pass service information
- // between the frontend and the plugin.
- //
- std::string --svc-file;
};