Stefan Frijters fc9b93d2fc gdc: init at 9.3.0		2020-05-19 23:06:52 +02:00
..
add-flags.sh
add-hardening.sh
cc-wrapper.sh
default.nix
gnat-wrapper.sh
setup-hook.sh