You've already forked gnatcoverage
mirror of
https://github.com/AdaCore/gnatcoverage.git
synced 2026-02-12 12:44:55 -08:00
This involves moving large chuncks of the sources to more deeply nested directories, as there are some assumptions as to where some config files are located.