|
ChangeLog
|
Update ChangeLog and version files for release
|
2024-05-07 06:52:35 +00:00 |
|
configure
|
Remove obsolete configure code in gnattools
|
2023-04-25 10:47:21 +02:00 |
|
configure.ac
|
Remove obsolete configure code in gnattools
|
2023-04-25 10:47:21 +02:00 |
|
Makefile.in
|
Add install-dvi Makefile targets.
|
2021-10-22 15:43:50 -07:00 |
