summaryrefslogtreecommitdiff
path: root/patches/gmp/gmp-5.1.1.midipix.patch
AgeCommit message (Expand)AuthorFilesLines
2019-09-07project: directory layout: patches for foo are now under ./patches/foo.midipix1-0/+23