]> gcc.gnu.org Git - gcc.git/tree - gnattools/
[Ada] Cleanup routine for handling SPARK_Mode kinds
[gcc.git] / gnattools /
drwxr-xr-x   ..
-rw-r--r-- 9775 ChangeLog
-rw-r--r-- 8501 Makefile.in
-rwxr-xr-x 120634 configure
-rw-r--r-- 5019 configure.ac
This page took 0.059718 seconds and 5 git commands to generate.