You've already forked gnatcoverage
mirror of
https://github.com/AdaCore/gnatcoverage.git
synced 2026-02-12 12:44:55 -08:00
Qualkit: Add document id in the filename for each of the documents See merge request eng/das/cov/gnatcoverage-qualification!33 (cherry picked from commit 337879aca842aa309033986bf51366b63546f997)