summaryrefslogtreecommitdiff
path: root/dev-lang/polyml/files/polyml-5.5.1-optimize-closure.patch
AgeCommit message (Expand)Author
2020-09-30gentoo resync : 30.09.2020V3n3RiX
2018-07-14gentoo resync : 14.07.2018V3n3RiX
2018-07-14gentoo resync : 14.07.2018V3n3RiX
2017-10-09reinit the tree, so we can have metadataV3n3RiX