summaryrefslogtreecommitdiff
path: root/sci-mathematics/twelf/files/twelf-1.7.1-mlton-20180207.patch
AgeCommit message (Expand)Author
2018-03-13gentoo resync : 13.03.2018V3n3RiX