Lars Jellema 8e79583510 gnat: init at 9.3.0		2020-04-20 14:41:22 +02:00
..
add-flags.sh	…
add-hardening.sh	…
cc-wrapper.sh	…
default.nix	…
gnat-wrapper.sh	…
setup-hook.sh	…