summaryrefslogtreecommitdiff
path: root/extra/openmpi
diff options
context:
space:
mode:
authorNicolás Reynolds <fauno@kiwwwi.com.ar>2012-04-05 03:56:45 -0300
committerNicolás Reynolds <fauno@kiwwwi.com.ar>2012-04-05 03:56:45 -0300
commit7b987ba8e4b0eb1439668e5af64375f244f70d90 (patch)
tree84d14713f12066db080ea9588dcb93e07ad0457b /extra/openmpi
parentfa8be7b03b46e65b64d710cbfae7ba4a93751a57 (diff)
ports
Diffstat (limited to 'extra/openmpi')
0 files changed, 0 insertions, 0 deletions