summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMichael Mair-Keimberger <m.mairkeimberger@gmail.com>2019-12-12 21:47:17 +0100
committerAaron Bauman <bman@gentoo.org>2019-12-12 15:52:15 -0500
commit749baee0da82080e32434b53b92a1c4db5afc4dc (patch)
tree51f76d31264d3324baa9ec8314bc0b50810e4c70 /sys-libs
parentmedia-plugins/tap-plugins: remove unused patch (diff)
downloadgentoo-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 'sys-libs')
0 files changed, 0 insertions, 0 deletions