--- 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/