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 c81a1ea55b..ce66dcc22e 100755 --- a/tools/distrib/check_copyright.py +++ b/tools/distrib/check_copyright.py @@ -70,6 +70,7 @@ LICENSE_FMT = { '.c': ' * %s', '.cc': ' * %s', '.h': ' * %s', + '.m': ' * %s', '.php': ' * %s', '.py': '# %s', '.rb': '# %s', |