summarylogtreecommitdiffstats
path: root/0003-Makefile-allow-passing-custom-flags-to-gprbuild.patch
AgeCommit message (Expand)Author
2021-08-17Split patches, add dependencies, fix build flagsXiretza