summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMichał Górny <mgorny@gentoo.org>2016-06-21 22:24:28 +0200
committerMichał Górny <mgorny@gentoo.org>2016-06-21 22:32:45 +0200
commit84224f26f9c893299a487431e2ee005b1795f01c (patch)
treed0333e5da3985a57ce379c199dca426e32992a0b /dev-ml/utop
parentdev-util/coccinelle: Remove := op from || dep, #586304 (diff)
downloadgentoo-84224f26f9c893299a487431e2ee005b1795f01c.tar.gz
gentoo-84224f26f9c893299a487431e2ee005b1795f01c.tar.bz2
gentoo-84224f26f9c893299a487431e2ee005b1795f01c.zip
sci-mathematics/coq: Remove := from || dep, #586304
Diffstat (limited to 'dev-ml/utop')
0 files changed, 0 insertions, 0 deletions