mirror of
https://github.com/AdaCore/gpr.git
synced 2026-02-12 12:58:39 -08:00
Issue: eng/gpr/gpr-issues#710 Merge request eng/gpr/gpr!698 from branch 'issue-710-update-gprbuild-user-guide-to-mention-gprbuild2' into 'main' (cherry picked from commitc3c66bf6a8)19323fb0Update GPRbuild User Guide to mention GPRbuild2cd18375eAdd GPRbuild2 limitations to the GPRbuild User Guideb710237aRemove mentions to a specific release for GPRbuild2 in GPRbuild User Guidedcb5b4d2Apply 1 suggestion(s) to 1 file(s) Co-authored-by: Pierre Béguet <pbeguet@adacore.com>