diff options
| author |  Jan Tattermusch <jtattermusch@google.com> | 2017-06-07 10:16:03 +0200 |
|---|---|---|
| committer | Jan Tattermusch <jtattermusch@google.com> | 2017-06-08 11:22:40 +0200 |
| commit | 7a0ca155fffec81d592447b5eaba2b04efe04c76 (patch) | |
| tree | 4fa6aa2fc0467e4e70c92bf0d7358b5e433a5fbb /tools | |
| parent | 312ea4a1874acebc056f142fc65ac434165de0a4 (diff) | |
fixing copyright not supported
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/distrib/check_copyright.py | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/tools/distrib/check_copyright.py b/tools/distrib/check_copyright.py index 888d973d85..e0d2f47d29 100755 --- a/tools/distrib/check_copyright.py +++ b/tools/distrib/check_copyright.py @@ -54,9 +54,6 @@ argp.add_argument('-a', '--ancient', default=0, action='store_const', const=1) -argp.add_argument('-f', '--fix', - default=False, - action='store_true'); argp.add_argument('--precommit', default=False, action='store_true') |