diff options
| author | Michael Mair-Keimberger (asterix) <m.mairkeimberger@gmail.com> | 2017-08-09 11:39:35 +0200 |
|---|---|---|
| committer | David Seifert <soap@gentoo.org> | 2017-08-13 13:24:39 +0200 |
| commit | fde0c83ed8ba832ac37743a2b478f36fc92f8c52 (patch) | |
| tree | 7046ee11fa8d8b39b122b942392e81d7ef7fd2c3 /dev-libs/json-c/files/json-c-0.10-headers.patch | |
| parent | 5a8c759bdc268987311ba37b0fef0066e7e885f4 (diff) | |
| download | gentoo-fde0c83ed8ba832ac37743a2b478f36fc92f8c52.tar.gz gentoo-fde0c83ed8ba832ac37743a2b478f36fc92f8c52.tar.bz2 gentoo-fde0c83ed8ba832ac37743a2b478f36fc92f8c52.zip | |
sci-mathematics/z3: remove unused patch
Closes: https://github.com/gentoo/gentoo/pull/5370
Diffstat (limited to 'dev-libs/json-c/files/json-c-0.10-headers.patch')
0 files changed, 0 insertions, 0 deletions