aboutsummaryrefslogtreecommitdiff
path: root/gnattools
ModeNameSize
-rw-r--r--ChangeLog6581logplain
-rw-r--r--Makefile.in9274logplain
-rwxr-xr-xconfigure117593logplain
-rw-r--r--configure.ac4766logplain