1 Commits

Author SHA1 Message Date
João Azevedo
2c92e6dbec Merge branch 'mr/issue_107' into 'main'
Add doinstall install script template

Closes #107

See merge request eng/ide/gnatformat!129

(cherry picked from commit af17082f2e)

b4d9b056 Add doinstall install script template
c3993376 Include the installation of the GNATformat library and sources

Co-authored-by: João Azevedo <azevedo@adacore.com>
2025-09-11 15:10:48 +00:00