diff options
| author | Boris Kolpackov <boris@codesynthesis.com> | 2010-05-07 11:23:46 +0200 |
|---|---|---|
| committer | Boris Kolpackov <boris@codesynthesis.com> | 2010-05-07 11:23:46 +0200 |
| commit | 1804cfc0480c64b95ef347bd53baeb3599394deb (patch) | |
| tree | e8a91d3da303cd7114beb3754dbdc996d4ea72a8 /odb/options.cli | |
| parent | 2a758e9286d05a90edf71791bff493829085b098 (diff) | |
Remove the --proprietary-license option
It is not necessary since we are not going to copyright the
generated code.
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. // |