--- a/.hgignore Thu Jul 15 16:01:04 2021 +0200
+++ b/.hgignore Thu Jul 15 16:35:45 2021 +0200
@@ -17,7 +17,6 @@
^browser_info/
^doc/.*\.pdf
^lib/classes/
-^src/Tools/jEdit/dist/
^src/Tools/VSCode/out/
^src/Tools/VSCode/extension/node_modules/
^Admin/jenkins/ci-extras/target/