Next release

* ACE/bin/copy-local-script.sh:
DOCGroup · Oct 30, 2023 · 1b2a86a · 1b2a86a
1 parent c9c19d8
commit 1b2a86a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/ACE/bin/copy-local-script.sh b/ACE/bin/copy-local-script.sh
@@ -1,7 +1,7 @@
 #!/bin/sh
 
 for i in *.gz *.bz2 *.zip *.md5; do
-  d=`echo $i | sed 's/\.[tz][ai][rp]/-7.1.2&/'`
+  d=`echo $i | sed 's/\.[tz][ai][rp]/-7.1.3&/'`
   echo "Copying $i to $d"
   cp -ip $i $d
 done