diff options
author | Thomas Deutschmann <whissi@gentoo.org> | 2019-06-13 17:12:17 +0200 |
---|---|---|
committer | Thomas Deutschmann <whissi@gentoo.org> | 2019-06-13 17:18:22 +0200 |
commit | b1de0e624493aa9f947026930bcbfab0cb5c2513 (patch) | |
tree | af4dbb12aa71f86b75982abdc545e28141e2a97a /mail-client | |
parent | media-sound/ncmpc: ppc64 stable wrt bug #687942 (diff) | |
download | gentoo-b1de0e624493aa9f947026930bcbfab0cb5c2513.tar.gz gentoo-b1de0e624493aa9f947026930bcbfab0cb5c2513.tar.bz2 gentoo-b1de0e624493aa9f947026930bcbfab0cb5c2513.zip |
profiles: Move php_targets_php7-3 mask to use.stable.mask
Signed-off-by: Thomas Deutschmann <whissi@gentoo.org>
Diffstat (limited to 'mail-client')
0 files changed, 0 insertions, 0 deletions