diff options
Diffstat (limited to 'odb/options.cli')
-rw-r--r-- | odb/options.cli | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/odb/options.cli b/odb/options.cli index 0418eb5..1454d9a 100644 --- a/odb/options.cli +++ b/odb/options.cli @@ -64,12 +64,6 @@ class options "Add <prefix> to the generated \cb{#include} directive paths." }; - bool --proprietary-license - { - "Indicate that the generated code is licensed under a proprietary - license instead of the GPL." - }; - // This is a "fake" option in that it is actually handled by // argv_file_scanner. We have it here to get the documentation. // |