--- a/.hgignore Tue Jan 28 14:59:54 2020 +0000
+++ b/.hgignore Tue Jan 28 20:26:23 2020 +0100
@@ -16,6 +16,7 @@
^heaps/
^browser_info/
^doc/.*\.pdf
+^lib/classes/
^src/Tools/jEdit/dist/
^src/Tools/VSCode/out/
^src/Tools/VSCode/extension/node_modules/