# HG changeset patch
# User dereeper
# Date 1717071150 0
# Node ID 35d71348e81ed70ea00d1406465f58cf90716a19
# Parent  4157f435fa896ff4f4bb792db5919654a95bf979
Uploaded

diff -r 4157f435fa89 -r 35d71348e81e PanExplorer.xml
--- a/PanExplorer.xml	Thu May 30 12:11:25 2024 +0000
+++ b/PanExplorer.xml	Thu May 30 12:12:30 2024 +0000
@@ -20,7 +20,7 @@
 
 cat config.yaml >$logfile;
 
-wget -O \$PANEX_PATH/panexplorer.sif https://panexplorer.southgreen.fr/singularity/panexplorer.sif
+wget -O \$PANEX_PATH/panexplorer.sif https://panexplorer.southgreen.fr/singularity/panexplorer.sif;