summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* sci-mathematics/metamath: change patch filenameMaciej Barć2021-11-261-0/+16