--- a/src/Pure/Admin/build_vscodium.scala Sun Mar 06 17:45:47 2022 +0100
+++ b/src/Pure/Admin/build_vscodium.scala Sun Mar 06 17:52:27 2022 +0100
@@ -324,6 +324,8 @@
})
}
+ Isabelle_System.bash("gzip *.patch", cwd = patches_dir.file).check
+
/* settings */