aboutsummaryrefslogtreecommitdiff
path: root/gnattools
ModeNameSize
-rw-r--r--ChangeLog3115logplain
-rw-r--r--Makefile.in9872logplain
-rwxr-xr-xconfigure80827logplain
-rw-r--r--configure.ac4830logplain