diff options
| author |   Michael Mair-Keimberger (asterix) <m.mairkeimberger@gmail.com> | 2017-02-10 16:56:06 +0100 |
|---|---|---|
| committer |   David Seifert <soap@gentoo.org> | 2017-02-10 23:33:18 +0100 |
| commit | 9ad77cd914255ff74a3fb0070a534f55fb28df4f (patch) | |
| tree | b0b5107f555bb00453d66f4a7e8a5913a5a6de49 /sys-cluster/pacemaker | |
| parent | sys-cluster/glusterfs: remove unused patches/files (diff) | |
| download | gentoo-9ad77cd914255ff74a3fb0070a534f55fb28df4f.tar.gz gentoo-9ad77cd914255ff74a3fb0070a534f55fb28df4f.tar.bz2 gentoo-9ad77cd914255ff74a3fb0070a534f55fb28df4f.zip | |
sys-cluster/openmpi: remove unused patches
Closes: https://github.com/gentoo/gentoo/pull/3900
Diffstat (limited to 'sys-cluster/pacemaker')
0 files changed, 0 insertions, 0 deletions