diff options
author | Michael Mair-Keimberger (asterix) <m.mairkeimberger@gmail.com> | 2017-02-01 19:42:47 +0100 |
---|---|---|
committer | David Seifert <soap@gentoo.org> | 2017-02-01 23:39:14 +0100 |
commit | b9ce9015c6035daa3519c3ccca481bb51ffb7d32 (patch) | |
tree | e59261d1c5676a32c792aa576660e2f19a332784 /sci-mathematics/normaliz | |
parent | sci-mathematics/glpk: remove unused patch (diff) | |
download | gentoo-b9ce9015c6035daa3519c3ccca481bb51ffb7d32.tar.gz gentoo-b9ce9015c6035daa3519c3ccca481bb51ffb7d32.tar.bz2 gentoo-b9ce9015c6035daa3519c3ccca481bb51ffb7d32.zip |
sci-mathematics/isabelle: remove unused patch
Closes: https://github.com/gentoo/gentoo/pull/3764
Diffstat (limited to 'sci-mathematics/normaliz')
0 files changed, 0 insertions, 0 deletions