Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned message;
authorwenzelm
Sun, 06 Mar 2022 17:53:14 +0100
changeset 75232 6c4ec2a27ad6
parent 75231 8945d691ecf2
child 75233 99b83e701c8e
tuned message;
src/Pure/Admin/build_vscodium.scala file | annotate | diff | comparison | revisions 
--- 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
     }
isabelle