|
ChangeLog
|
Update Copyright year in ChangeLog files
|
2024-01-03 11:35:18 +01: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 |
