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