Merge from trunk: 215733-215743
[official-gcc.git] / gcc-4_7-integration / gnattools / 
tree6c8d480ebe30b7957a07a721e5e923afb7200945
drwxr-xr-x   ..
-rw-r--r-- 6562 ChangeLog
-rw-r--r-- 9274 Makefile.in
-rwxr-xr-x 117793 configure
-rw-r--r-- 4960 configure.ac