Merge pull request #433 from mgudemann/make_cpplint_executable

set executable bit of cpplint.py
diffblue · Jan 13, 2017 · 43be05d · 43be05d
2 parents 9ff6e69 + 21ae761
commit 43be05d
Showing 1 changed file with 0 additions and 0 deletions.
diff --git a/scripts/cpplint.py b/scripts/cpplint.py