diff -r 2bf8cfc98c4d -r 9c1173a7e4cb .hgignore --- a/.hgignore Sun Dec 18 23:43:50 2016 +0100 +++ b/.hgignore Mon Dec 19 20:27:49 2016 +0100 @@ -20,5 +20,8 @@ ^doc/.*\.pdf ^doc/.*\.ps ^src/Tools/jEdit/dist/ +^src/Tools/VSCode/out/ +^src/Tools/VSCode/extension/node_modules/ +^src/Tools/VSCode/extension/protocol.log ^Admin/jenkins/ci-extras/target/ ^stats/