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