summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* dev-libs/mps: Remove last-rited pkgMichał Górny2020-01-141-31/+0
* */*: [QA] Remove redundant `|| die` guardsDavid Seifert2019-12-111-1/+1
* Revert "dev-libs/mps: drop old"Aaron Bauman2019-11-121-0/+31
* dev-libs/mps: drop oldAaron Bauman2019-11-121-31/+0
* Drop $Id$ per council decision in bug #611234.Robin H. Johnson2017-02-281-1/+0
* proj/gentoo: Initial commitRobin H. Johnson2015-08-081-0/+32