--- a/.hgignore Fri Jul 16 11:32:32 2021 +0200
+++ b/.hgignore Fri Jul 16 11:36:24 2021 +0200
@@ -16,7 +16,6 @@
^heaps/
^browser_info/
^doc/.*\.pdf
-^lib/classes/
^src/Tools/VSCode/out/
^src/Tools/VSCode/extension/node_modules/
^Admin/jenkins/ci-extras/target/