diff options
author | Michał Górny <mgorny@gentoo.org> | 2018-12-13 19:53:27 +0100 |
---|---|---|
committer | Michał Górny <mgorny@gentoo.org> | 2018-12-13 21:52:17 +0100 |
commit | 41e3c2ca09f29d443b900c0d3d433be507af3a9b (patch) | |
tree | d5e33b56a29e6295be4242f8f0b91c5a3557692a /x11-plugins | |
parent | dev-libs/rapidjson: amd64 stable wrt bug #671968 (diff) | |
download | gentoo-41e3c2ca09f29d443b900c0d3d433be507af3a9b.tar.gz gentoo-41e3c2ca09f29d443b900c0d3d433be507af3a9b.tar.bz2 gentoo-41e3c2ca09f29d443b900c0d3d433be507af3a9b.zip |
sci-mathematics/z3: Co-maintain (used by clang)
Signed-off-by: Michał Górny <mgorny@gentoo.org>
Diffstat (limited to 'x11-plugins')
0 files changed, 0 insertions, 0 deletions