* header_check.sh: forgot on exec flag

This commit is contained in:
Pavel Sanda 2013-05-15 00:07:40 -07:00
parent 5ea35e2d62
commit ee0c031d2d

0
development/tools/header_check.sh Normal file → Executable file
View File