summaryrefslogtreecommitdiff
path: root/extra/openmpi
diff options
context:
space:
mode:
authorNicolás Reynolds <fauno@endefensadelsl.org>2014-06-22 04:08:32 +0000
committerNicolás Reynolds <fauno@endefensadelsl.org>2014-06-22 04:08:32 +0000
commitb137011f8ca1733aef39da7b276bba93c3ad74cd (patch)
tree2ff1f035954703328fe1f6cc6b37fcc975aafbd0 /extra/openmpi
parent000001015cbeaabdc2e0f70899a6b810996f98cc (diff)
Sun Jun 22 03:57:56 UTC 2014
Diffstat (limited to 'extra/openmpi')
0 files changed, 0 insertions, 0 deletions