diff options
| author |   Michał Górny <mgorny@gentoo.org> | 2016-06-21 22:24:28 +0200 |
|---|---|---|
| committer | Michał Górny <mgorny@gentoo.org> | 2016-06-21 22:32:45 +0200 |
| commit | 84224f26f9c893299a487431e2ee005b1795f01c (patch) | |
| tree | d0333e5da3985a57ce379c199dca426e32992a0b /dev-ml/extlib | |
| parent | dev-util/coccinelle: Remove := op from || dep, #586304 (diff) | |
| download | gentoo-84224f26f9c893299a487431e2ee005b1795f01c.tar.gz gentoo-84224f26f9c893299a487431e2ee005b1795f01c.tar.bz2 gentoo-84224f26f9c893299a487431e2ee005b1795f01c.zip | |
sci-mathematics/coq: Remove := from || dep, #586304
Diffstat (limited to 'dev-ml/extlib')
0 files changed, 0 insertions, 0 deletions