| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | add-flags.sh | 2222 | log plain blame |
| -rw-r--r-- | add-hardening.sh | 2626 | log plain blame |
| -rw-r--r-- | cc-wrapper.sh | 5570 | log plain blame |
| -rw-r--r-- | default.nix | 11798 | log plain blame |
| -rw-r--r-- | gnat-wrapper.sh | 3323 | log plain blame |
| -rw-r--r-- | gnatlink-wrapper.sh | 1127 | log plain blame |
| -rw-r--r-- | setup-hook.sh | 6046 | log plain blame |
| -rw-r--r-- | utils.sh | 2178 | log plain blame |