From 943e05787a9b7d7c4e139bdafac3402bea3cace4 Mon Sep 17 00:00:00 2001
From: Achim Gsell <achim.gsell@psi.ch>
Date: Fri, 18 Sep 2015 18:27:45 +0200
Subject: [PATCH] openmpi/versions - openmpi/1.8.8 added

---
 scripts/Compiler/openmpi/versions | 1 +
 1 file changed, 1 insertion(+)

diff --git a/scripts/Compiler/openmpi/versions b/scripts/Compiler/openmpi/versions
index ad71703..58351dd 100644
--- 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