diff options
| author |   Michał Górny <mgorny@gentoo.org> | 2016-06-21 22:32:35 +0200 |
|---|---|---|
| committer | Michał Górny <mgorny@gentoo.org> | 2016-06-21 22:32:45 +0200 |
| commit | 2d4ac687fbf44588f764697c9dcb2b960a18d51b (patch) | |
| tree | 7ce51ddbb462a8c7b3b54367e11aef8937ff0144 /profiles | |
| parent | sci-mathematics/coq: Remove := from || dep, #586304 (diff) | |
| download | gentoo-2d4ac687fbf44588f764697c9dcb2b960a18d51b.tar.gz gentoo-2d4ac687fbf44588f764697c9dcb2b960a18d51b.tar.bz2 gentoo-2d4ac687fbf44588f764697c9dcb2b960a18d51b.zip | |
dev-ml/*: Remove := slot ops from || deps, #586304
Diffstat (limited to 'profiles')
0 files changed, 0 insertions, 0 deletions