package info
(click to toggle)
Folder: patches
| .. (parent) | ||||
| - | rw-r--r-- | 1,182 | build-flags.diff | |
| - | rw-r--r-- | 511 | doc-typo.diff | |
| - | rw-r--r-- | 867 | gnat-studio-doc.diff | |
| - | rw-r--r-- | 808 | gprinstall-no-indep-artifacts.diff | |
| - | rw-r--r-- | 3,492 | licence_readme.diff | |
| - | rw-r--r-- | 1,025 | link-with-lm.diff | |
| - | rw-r--r-- | 125 | series |
