summaryrefslogtreecommitdiff
path: root/gnattools
ModeNameSize
-rw-r--r--ChangeLog8204logplain
-rw-r--r--Makefile.in10156logplain
-rwxr-xr-xconfigure117087logplain
-rw-r--r--configure.ac4258logplain