]> git.ipfire.org Git - thirdparty/gcc.git/tree - gnattools/
[Ada] Use new API when creating a special SPARK heap entity
[thirdparty/gcc.git] / gnattools /
drwxr-xr-x   ..
-rw-r--r-- 9380 ChangeLog
-rw-r--r-- 8333 Makefile.in
-rwxr-xr-x 120661 configure
-rw-r--r-- 5046 configure.ac