aboutsummaryrefslogtreecommitdiff
path: root/gnattools
ModeNameSize
-rw-r--r--ChangeLog5944logplain
-rw-r--r--Makefile.in9735logplain
-rwxr-xr-xconfigure117765logplain
-rw-r--r--configure.ac4930logplain