Minor reformatting, add missing header.
treed4a8e22d1fc246607e60d212b4040edc47f0a351
-rw-r--r-- 93 .gitignore
-rw-r--r-- 105 .gitmodules
-rw-r--r-- 17987 COPYING
-rw-r--r-- 426 INSTALL
-rw-r--r-- 3745 Makefile
drwxr-xr-x - external-libs
-rw-r--r-- 3113 gnadelite.gpr
drwxr-xr-x - gpr
drwxr-xr-x - src
drwxr-xr-x - tests