Closed mgrojo closed 6 months ago
The package in gnatcoll-core was deleted in commit gnatcoll-scripts-shell.adb. I suppose there is no better alternative to the deletion, because in GNAT Studio, the package would be internal and not for reuse.
The package in gnatcoll-core was deleted in commit gnatcoll-scripts-shell.adb. I suppose there is no better alternative to the deletion, because in GNAT Studio, the package would be internal and not for reuse.