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