openmpi/versions

- openmpi/1.8.8 added
2015-09-18 18:27:45 +02:00
parent 4bac740245
commit 943e05787a
1 changed files with 1 additions and 0 deletions
--- a/scripts/Compiler/openmpi/versions
+++ b/scripts/Compiler/openmpi/versions
@@ -1,3 +1,4 @@
 1.6.5
 1.8.2
 1.8.4
+1.8.8