aboutsummaryrefslogtreecommitdiff
path: root/gnattools
ModeNameSize
-rw-r--r--ChangeLog10080logplain
-rw-r--r--Makefile.in8543logplain
-rwxr-xr-xconfigure119312logplain
-rw-r--r--configure.ac3697logplain