Files

 master

/

gnattools

/

Copy path

Directory actions

More options

Directory actions

More options

Latest commit

jakubjelinek

Update Copyright year in ChangeLog files

Jan 3, 2024

6a720d4 · Jan 3, 2024

History

History

 

 

/

gnattools

/

Top

Folders and files

Name		Name	Last commit message	Last commit date
parent directory ..
ChangeLog		ChangeLog	Update Copyright year in ChangeLog files	Jan 3, 2024
Makefile.in		Makefile.in	Add install-dvi Makefile targets.	Oct 22, 2021
configure		configure	Remove obsolete configure code in gnattools	Apr 25, 2023
configure.ac		configure.ac	Remove obsolete configure code in gnattools	Apr 25, 2023
View all files