Minor reformatting.
tree21985e87ab4ee47723fe1bb55ae03bc23277e775
-rw-r--r-- 61 .gitignore
drwxr-xr-x - gps
-rw-r--r-- 2243 makefile
drwxr-xr-x - regtests
drwxr-xr-x - src
-rw-r--r-- 2098 style_checker.gpr