sci-mathematics/z3: remove unused patch
authorMichael Mair-Keimberger (asterix) <m.mairkeimberger@gmail.com>
Wed, 9 Aug 2017 09:39:35 +0000 (11:39 +0200)
committerDavid Seifert <soap@gentoo.org>
Sun, 13 Aug 2017 11:24:39 +0000 (13:24 +0200)
commitfde0c83ed8ba832ac37743a2b478f36fc92f8c52
tree7046ee11fa8d8b39b122b942392e81d7ef7fd2c3
parent5a8c759bdc268987311ba37b0fef0066e7e885f4
sci-mathematics/z3: remove unused patch

Closes: https://github.com/gentoo/gentoo/pull/5370
sci-mathematics/z3/files/z3-4.1.2-configure.patch [deleted file]