diff options
author | Michał Górny <mgorny@gentoo.org> | 2021-11-18 18:14:21 +0100 |
---|---|---|
committer | Michał Górny <mgorny@gentoo.org> | 2021-11-18 18:15:25 +0100 |
commit | 1d20ae1b102372d2cdeb40a2302f4d1479fe0ccb (patch) | |
tree | d5f8ed0ba8a5f485316c1d4d12cf3611fa70e305 /dev-php | |
parent | media-sound/easyeffects: add 6.1.5, drop 6.1.3 (diff) | |
download | gentoo-1d20ae1b102372d2cdeb40a2302f4d1479fe0ccb.tar.gz gentoo-1d20ae1b102372d2cdeb40a2302f4d1479fe0ccb.tar.bz2 gentoo-1d20ae1b102372d2cdeb40a2302f4d1479fe0ccb.zip |
package.mask: Mask virtual/dist-kernel too
Signed-off-by: Michał Górny <mgorny@gentoo.org>
Diffstat (limited to 'dev-php')
0 files changed, 0 insertions, 0 deletions