# HG changeset patch
# User wenzelm
# Date 1672660591 -3600
# Node ID 13b2d8961f8ae6e2e66932a6ff0ed4a1e02fc1f6
# Parent  5f7fed61489f6a68ed27e916e786e521400a6ebe
do not bundle Isabelle/Naproche, while it keeps changing;

diff -r 5f7fed61489f -r 13b2d8961f8a Admin/components/bundled
--- a/Admin/components/bundled	Mon Jan 02 12:45:24 2023 +0100
+++ b/Admin/components/bundled	Mon Jan 02 12:56:31 2023 +0100
@@ -1,2 +1,2 @@
 #additional components to be bundled for release
-naproche-20221024
+#naproche-20221024