diff options
| author |   David Seifert <soap@gentoo.org> | 2017-01-18 22:07:16 +0100 |
|---|---|---|
| committer | David Seifert <soap@gentoo.org> | 2017-01-18 22:40:07 +0100 |
| commit | da1ec5f9c2537498bfa30c4e911603bf38f42d31 (patch) | |
| tree | b73949cb787d8d0737c238805b42f9e9f89112f8 /sys-cluster | |
| parent | sci-misc/flashdot: Remove old (diff) | |
| download | gentoo-da1ec5f9c2537498bfa30c4e911603bf38f42d31.tar.gz gentoo-da1ec5f9c2537498bfa30c4e911603bf38f42d31.tar.bz2 gentoo-da1ec5f9c2537498bfa30c4e911603bf38f42d31.zip | |
profiles: mask dev-ml/ocamlgsl for removal
Closes: https://github.com/gentoo/gentoo/pull/3533
Diffstat (limited to 'sys-cluster')
0 files changed, 0 insertions, 0 deletions