Rename exclude-detectors -> exclude (close 76)

pull/84/head
Josselin 6 years ago
parent 24d372bfda
commit 82d4730f12
  1. 2
      slither/__main__.py

@ -288,7 +288,7 @@ def parse_args(detector_classes, printer_classes):
default=False) default=False)
group_detector.add_argument('--exclude-detectors', group_detector.add_argument('--exclude',
help='Comma-separated list of detectors that should be excluded', help='Comma-separated list of detectors that should be excluded',
action='store', action='store',
dest='detectors_to_exclude', dest='detectors_to_exclude',

Loading…
Cancel
Save