diff options
author | 2019-12-12 21:47:17 +0100 | |
---|---|---|
committer | 2019-12-12 15:52:15 -0500 | |
commit | 749baee0da82080e32434b53b92a1c4db5afc4dc (patch) | |
tree | 51f76d31264d3324baa9ec8314bc0b50810e4c70 /net-news/newsboat | |
parent | media-plugins/tap-plugins: remove unused patch (diff) | |
download | gentoo-749baee0da82080e32434b53b92a1c4db5afc4dc.tar.gz gentoo-749baee0da82080e32434b53b92a1c4db5afc4dc.tar.bz2 gentoo-749baee0da82080e32434b53b92a1c4db5afc4dc.zip |
sci-mathematics/z3: remove unused patch(es)
Signed-off-by: Michael Mair-Keimberger <m.mairkeimberger@gmail.com>
Closes: https://github.com/gentoo/gentoo/pull/13960
Signed-off-by: Aaron Bauman <bman@gentoo.org>
Diffstat (limited to 'net-news/newsboat')
0 files changed, 0 insertions, 0 deletions