Vincent Jicquel 62f3f33fce Fix typo in default test.gpr

2026-01-27 17:39:41 +01:00

..

testsuite

Fix typo in default test.gpr

2026-01-27 17:39:41 +01:00

__init__.py

Use python3 instead of python in the build/test scripts

2024-12-10 10:45:25 +00:00

gprbuild.py

gprproject/gprbuild.py: Fix coverage build

2025-11-10 12:05:49 +01:00

os.py

Ensure gnatcov_rts is not visible several times

2024-11-27 12:14:28 +01:00