Lars Jellema 8e79583510 gnat: init at 9.3.0		2020-04-20 14:41:22 +02:00
..
add-flags.sh	gnat: init at 9.3.0	2020-04-20 14:41:22 +02:00
add-hardening.sh
cc-wrapper.sh
default.nix	gnat: init at 9.3.0	2020-04-20 14:41:22 +02:00
gnat-wrapper.sh	gnat: init at 9.3.0	2020-04-20 14:41:22 +02:00
setup-hook.sh	cc-wrapper, bintools-wrapper: Remove now unneeded set {+,-}u	2019-11-04 19:57:14 -05:00