Delete empty directory.
[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