Fix vdmj_hp in vsix.sh

nickbattle · Mar 12, 2024 · 2dad967 · 2dad967
1 parent 89216a8
commit 2dad967
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/packaging/src/main/scripts/vsix.sh b/packaging/src/main/scripts/vsix.sh
@@ -17,7 +17,7 @@ then
 fi
 
 VERSION="4.6.0-P-SNAPSHOT"
-VDMJ="vdmj"
+VDMJ="vdmj_hp"
 
 SELF=$(which "$0")
 DISTRIBUTION=$(dirname "$SELF")