changed option name from "no-config" to more common "without-config"

This commit is contained in:
Philip Eisenlohr 2016-12-23 17:46:16 -05:00
parent cbef4034a4
commit 3628deb30e
1 changed files with 1 additions and 1 deletions

View File

@ -178,7 +178,7 @@ parser.add_option_group(group)
group = OptionGroup(parser, "Configuration","") group = OptionGroup(parser, "Configuration","")
group.add_option('--no-config', group.add_option('--without-config',
dest = 'config', dest = 'config',
action = 'store_false', action = 'store_false',
help = 'omit material configuration header') help = 'omit material configuration header')