summaryrefslogtreecommitdiff
path: root/dev-ml/camlidl/files/camlidl-1.09.parallelMake.patch
AgeCommit message (Expand)Author
2024-06-22dev-ml/camlidl: remove unused patchesMichael Mair-Keimberger
2023-01-19dev-ml/camlidl: fix parallelMakeAlfredo Tupone