Merge trunk version 206243 into gupc branch.
[official-gcc.git] / libada / 
tree377c81988539f04d7006d590854e8b61e20c9783
drwxr-xr-x   ..
-rw-r--r-- 9938 ChangeLog
-rw-r--r-- 5344 Makefile.in
-rwxr-xr-x 120719 configure
-rw-r--r-- 4477 configure.ac