William J. Franck pushed to project branch main at AdaForge / DevTools / BuildTools / AdaCore.DevTools.BuildTools.GPRbuild

William J. Franck
2025-07-16T19:41:35Z

William J. Franck (7cda49b8) at 16 Jul 19:41

cleanup

... and 1 more commit