--- a/lib/scripts/getsettings Wed Mar 31 17:15:54 2021 +0200
+++ b/lib/scripts/getsettings Wed Mar 31 18:12:46 2021 +0200
@@ -72,7 +72,6 @@
fi
#Isabelle distribution identifier -- filled in automatically!
-ISABELLE_ID=""
[ -z "$ISABELLE_IDENTIFIER" ] && ISABELLE_IDENTIFIER=""