diff options
author | 2015-02-20 09:46:22 -0800 | |
---|---|---|
committer | 2015-02-20 09:46:22 -0800 | |
commit | 5fc90295ce183ab9107f6086e8559d84fadb4a54 (patch) | |
tree | 4143e922b6313b227f463eefa122c28aa45906b1 /tools/distrib/check_copyright.py | |
parent | 1b2f9020754a02f96d80fad7e23d46f9104df9b9 (diff) |
include .m in check_copyright.py
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', |