Vladimír Čunát 1fcd92ce92 Merge branch 'master' into staging ... A few thousand rebuilds from master, again. Hydra: ?compare=1422362		2017-12-31 09:53:49 +01:00
..
add-flags.sh
add-hardening.sh
cc-wrapper.sh
default.nix
gnat-wrapper.sh
gnatlink-wrapper.sh
setup-hook.sh
utils.sh