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