Merge branch 'tor-github/pr/1355'

This commit is contained in:
George Kadianakis 2019-09-25 14:17:03 +03:00
commit 6677eae579

View File

@ -181,7 +181,7 @@ def main(argv):
parser.add_argument("--regen", action="store_true", parser.add_argument("--regen", action="store_true",
help="Regenerate the exceptions file") help="Regenerate the exceptions file")
parser.add_argument("--list-overbroad", action="store_true", parser.add_argument("--list-overbroad", action="store_true",
help="List over-strict exceptions") help="List over-broad exceptions")
parser.add_argument("--exceptions", parser.add_argument("--exceptions",
help="Override the location for the exceptions file") help="Override the location for the exceptions file")
parser.add_argument("--strict", action="store_true", parser.add_argument("--strict", action="store_true",