projects / gentoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e71624f) | patch
package.mask: Last rite media-sound/playmidi
authorMichał Górny <mgorny@gentoo.org>
Fri, 29 Mar 2019 10:51:21 +0000 (11:51 +0100)
committerMichał Górny <mgorny@gentoo.org>
Fri, 29 Mar 2019 10:51:21 +0000 (11:51 +0100)
commiteff8a60bbfb4a27461fea174897682c519df1ef9
tree8259f43c2088250d09af55bd893ae3f51cdfc86dtree | snapshot
parente71624f5f78e2e492fe4513f790091dd8f96efaecommit | diff
package.mask: Last rite media-sound/playmidi

Bug: https://bugs.gentoo.org/617184
Signed-off-by: Michał Górny <mgorny@gentoo.org>
profiles/package.mask diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.