sci-mathematics/z3: remove unused patch(es)
authorMichael Mair-Keimberger <m.mairkeimberger@gmail.com>
Thu, 12 Dec 2019 20:47:17 +0000 (21:47 +0100)
committerAaron Bauman <bman@gentoo.org>
Thu, 12 Dec 2019 20:52:15 +0000 (15:52 -0500)
commit749baee0da82080e32434b53b92a1c4db5afc4dc
tree51f76d31264d3324baa9ec8314bc0b50810e4c70
parentb1f370c2b1d45f096f526a0ecca9cde81f737421
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>
sci-mathematics/z3/files/z3-4.4.1-gcc-6.patch [deleted file]