svn merge -r208346:209072 svn+ssh://gcc.gnu.org/svn/gcc/trunk
[official-gcc.git] / gnattools / 
treec31bb31c950b5d832ecf585e1a73f8b3910d42b1
drwxr-xr-x   ..
-rw-r--r-- 7668 ChangeLog
-rw-r--r-- 9997 Makefile.in
-rwxr-xr-x 116947 configure
-rw-r--r-- 4118 configure.ac