# HG changeset patch
# User wenzelm
# Date 1646585594 -3600
# Node ID 6c4ec2a27ad6c0626bb0d1a8be277b3e592bc039
# Parent  8945d691ecf2310bcd1a8fc22fc41cba2cc638df
tuned message;

diff -r 8945d691ecf2 -r 6c4ec2a27ad6 src/Pure/Admin/build_vscodium.scala
--- a/src/Pure/Admin/build_vscodium.scala	Sun Mar 06 17:52:27 2022 +0100
+++ b/src/Pure/Admin/build_vscodium.scala	Sun Mar 06 17:53:14 2022 +0100
@@ -65,7 +65,7 @@
           "git checkout -q " + Bash.string(version)
         ).mkString("\n"), cwd = vscodium_dir.file).check
 
-      progress.echo("Getting VSCode repository version ...")
+      progress.echo("Getting VSCode repository ...")
       Isabelle_System.bash(environment + "\n" + "./get_repo.sh", cwd = vscodium_dir.file).check
     }