aboutsummaryrefslogtreecommitdiff
path: root/gnattools
ModeNameSize
-rw-r--r--ChangeLog8098logplain
-rw-r--r--Makefile.in10156logplain
-rwxr-xr-xconfigure117087logplain
-rw-r--r--configure.ac4258logplain