aboutsummaryrefslogtreecommitdiff
path: root/gnattools
ModeNameSize
-rw-r--r--ChangeLog2544logplain
-rw-r--r--Makefile.in10557logplain
-rwxr-xr-xconfigure80811logplain
-rw-r--r--configure.ac4814logplain