summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* dev-lang/maude: respect ARJakov Smolic2020-11-171-0/+10
* dev-lang/maude: remove unused patchMichael Mair-Keimberger (asterix)2017-08-131-25/+0
* dev-lang/maude: Version bump to 2.7David Seifert2016-02-111-0/+39
* proj/gentoo: Initial commitRobin H. Johnson2015-08-083-0/+86