summaryrefslogtreecommitdiff
path: root/dev-lang/maude/files/maude-2.5.0-prll.patch
AgeCommit message (Expand)Author
2018-07-14gentoo resync : 14.07.2018V3n3RiX
2018-07-14gentoo resync : 14.07.2018V3n3RiX
2017-10-09reinit the tree, so we can have metadataV3n3RiX
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-13 15:13:55 +0000