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 /sci-visualization | |
| parent | sci-libs/libpdb: remove unused patch (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 'sci-visualization')
0 files changed, 0 insertions, 0 deletions