Use the latest version of SALOME (2020-07-20)

diff --git a/env.sh b/env.sh
index ff81011aba51e8b5ed7fe3e5fe53938e69df82ab..5278ef68f395fe96dac274ab397b115003712423 100644 (file)
--- a/env.sh
+++ b/env.sh
@@ -1,6 +1,6 @@
 #!/bin/bash -x
 
-export SALOME_DIR=/dn46/SALOME/series9x/current-2020-06-16
+export SALOME_DIR=/dn46/SALOME/series9x/current-2020-07-20
 
 # Path to sources
 export SOURCES_DIR=$(pwd)