[patch] patch-openmpi.diff
patch-openmpi.diff (text/plain), 592 bytes, created by Shin CHAO on 2007-04-29 11:50:04 UTC
(hide)
 
Creator: Shin CHAO
Created: 2007-04-29 11:50:04 UTC
Size: 592 bytes
Actions: View | Diff
Attachments on bug 112236: 78017