aboutsummaryrefslogtreecommitdiff
path: root/gnattools
ModeNameSize
-rw-r--r--ChangeLog7793logplain
-rw-r--r--Makefile.in9997logplain
-rwxr-xr-xconfigure117087logplain
-rw-r--r--configure.ac4258logplain