Add .gitignore
treeab2f080d3bc827112dfcb8c0989c7299b9c4f1ec
-rw-r--r-- 24 .gitignore
-rw-r--r-- 329 makefile
drwxr-xr-x - regtests
drwxr-xr-x - src
-rw-r--r-- 350 style_checker.gpr