summaryrefslogtreecommitdiff
path: root/dev-lang/mercury
AgeCommit message (Expand)Author
2018-07-21gentoo resync : 21.07.2018V3n3RiX
2018-07-14gentoo resync : 14.07.2018V3n3RiX
2018-07-14gentoo resync : 14.07.2018V3n3RiX
2018-03-09gentoo resync : 09.03.2018V3n3RiX
2017-12-10gentoo resync : 10.12.2017V3n3RiX
2017-11-26gentoo resync : 26.11.2017V3n3RiX
2017-11-10gentoo resync : 10.11.2017V3n3RiX
2017-10-09reinit the tree, so we can have metadataV3n3RiX