Skip to content

Don't look for gprbuild from system provider.#913

Merged
mosteo merged 2 commits intoalire-project:stable-1.2.1from simonjwright:gprbuild-not-in-providerNov 9, 2023

Commits

Commits on Nov 1, 2023

Commits on Nov 9, 2023