Use the latest version of SALOME (2020-05-08)

diff --git a/env.sh b/env.sh
index 5c91e088f15d7988f71d5162d5f10bce376d2711..cf5178090dc1366a9e77887087f942b08ce8f36d 100644 (file)
--- a/env.sh
+++ b/env.sh
@@ -1,6 +1,6 @@
 #!/bin/bash -x
 
-export SALOME_DIR=/dn46/SALOME/series9x/current-2020-04-10
+export SALOME_DIR=/dn46/SALOME/series9x/current-2020-05-08
 
 # Path to sources
 export SOURCES_DIR=$(pwd)