You've already forked gnatstudio
mirror of
https://github.com/AdaCore/gnatstudio.git
synced 2026-02-12 12:42:33 -08:00
Since it's only used in GNAT Studio. This package will
be removed from gnatcoll-core.
For eng/toolchain/gnatcoll-core#37
(cherry picked from commit c5cbe6a43a)