Migrate to the latest version of SALOME (2020-02-20).

diff --git a/env.sh b/env.sh
index 1b7c6dadab916a1003e722085627c844e3be2174..921adc9d4270c06a61452db7c8d174dc62313760 100644 (file)
--- a/env.sh
+++ b/env.sh
@@ -1,6 +1,6 @@
 #!/bin/bash -x
 
-export SALOME_DIR=/dn46/SALOME/series9x/current-2020-02-03
+export SALOME_DIR=/dn46/SALOME/series9x/current-2020-02-20
 
 # Path to sources
 export SOURCES_DIR=$(pwd)