aboutsummaryrefslogtreecommitdiff
path: root/gnattools
ModeNameSize
-rw-r--r--ChangeLog9662logplain
-rw-r--r--Makefile.in8501logplain
-rwxr-xr-xconfigure120661logplain
-rw-r--r--configure.ac5046logplain