mirror of
https://github.com/AdaCore/aunit.git
synced 2026-02-12 13:03:25 -08:00
This reverts the changes in U216-007, as the new cert based runtime for vx7r2 ended up with a new name while the old cert runtime remains for other platforms like Deos. TN: VA20-029