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

..

doinstall.tmplt

Merge branch 'mr/issue_107' into 'main'

2025-09-11 15:10:48 +00:00