Do not check special script headers starting with #!.
tree45a8ba5e5289df82504037ea0b4135ba06c8d35f
-rw-r--r-- 61 .gitignore
-rw-r--r-- 703 makefile
drwxr-xr-x - regtests
drwxr-xr-x - src
-rw-r--r-- 432 style_checker.gpr