Merge trunk version 204942 into gupc branch.
[official-gcc.git] / gnattools / 
tree42d987469516a1fcd7f65108b7e0ca2e6987b8b4
drwxr-xr-x   ..
-rw-r--r-- 6857 ChangeLog
-rw-r--r-- 9642 Makefile.in
-rwxr-xr-x 117593 configure
-rw-r--r-- 4766 configure.ac