mirror of
https://github.com/AdaCore/gpr.git
synced 2026-02-12 12:58:39 -08:00
To prepare the split gnatcoll-core gnatcoll-projects, the gnatcoll_core project needs to be used instead. For eng/toolchain/gnatcoll-core#133
To prepare the split gnatcoll-core gnatcoll-projects, the gnatcoll_core project needs to be used instead. For eng/toolchain/gnatcoll-core#133