From ae4485ca4f926a0d7f2fc91e9e17a18fc0e83097 Mon Sep 17 00:00:00 2001 From: Boris Kolpackov Date: Tue, 1 Feb 2011 10:58:07 +0200 Subject: Don't use CLI to handle service options --- odb/options.cli | 6 ------ 1 file changed, 6 deletions(-) (limited to 'odb/options.cli') 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; }; -- cgit v1.1