diff options
Diffstat (limited to 'tools/distrib/check_copyright.py')
| -rwxr-xr-x | tools/distrib/check_copyright.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/distrib/check_copyright.py b/tools/distrib/check_copyright.py index 259ee66e12..19e227a805 100755 --- a/tools/distrib/check_copyright.py +++ b/tools/distrib/check_copyright.py @@ -55,6 +55,7 @@ LICENSE_FMT = { '.py': '# %s', '.rb': '# %s', '.sh': '# %s', + '.proto': '// %s', } # pregenerate the actual text that we should have |