projects / gentoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8c50ec6) | patch
dev-libs/mps: Remove last-rited pkg
authorMichał Górny <mgorny@gentoo.org>
Tue, 14 Jan 2020 16:22:07 +0000 (17:22 +0100)
committerMichał Górny <mgorny@gentoo.org>
Tue, 14 Jan 2020 16:22:07 +0000 (17:22 +0100)
commitc7e57e8d56b7ba79302313a88f6854925a945fa1
treee955f4a4f777e0640e2272eab688963b9e7a1d69tree | snapshot
parent8c50ec63cd7a265051b144ebc38ebbcd9e6f3727commit | diff
dev-libs/mps: Remove last-rited pkg

Signed-off-by: Michał Górny <mgorny@gentoo.org>
dev-libs/mps/Manifest [deleted file] blob | history
dev-libs/mps/metadata.xml [deleted file] blob | history
dev-libs/mps/mps-1.106.2.ebuild [deleted file] blob | history
dev-libs/mps/mps-1.110.0.ebuild [deleted file] blob | history
dev-libs/mps/mps-1.111.0.ebuild [deleted file] blob | history
dev-libs/mps/mps-1.114.0.ebuild [deleted file] blob | history
profiles/package.mask diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.