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