2018-06-21 Richard Biener <rguenther@suse.de>
[official-gcc.git] / gnattools / 
tree08b98a8a7f96bae33d4857936cb0fcf46c079020
drwxr-xr-x   ..
-rw-r--r-- 8513 ChangeLog
-rw-r--r-- 8013 Makefile.in
-rwxr-xr-x 117107 configure
-rw-r--r-- 4280 configure.ac