# HG changeset patch
# User wenzelm
# Date 1646910219 -3600
# Node ID 8d09013d8c683b7af360c3bc5690a393e275f75e
# Parent  d1e5f9dbf88594adf28e37752a8c63ceec1b151c
more accurate .hgignore;

diff -r d1e5f9dbf885 -r 8d09013d8c68 .hgignore
--- a/.hgignore	Thu Mar 10 11:56:38 2022 +0100
+++ b/.hgignore	Thu Mar 10 12:03:39 2022 +0100
@@ -6,6 +6,7 @@
 *.marks
 *.orig
 *.rej
+*.vsix
 .DS_Store
 .swp
 
@@ -16,6 +17,6 @@
 ^heaps/
 ^browser_info/
 ^doc/.*\.pdf
-^src/Tools/VSCode/out/
+^src/Tools/VSCode/extension/out/
 ^src/Tools/VSCode/extension/node_modules/
 ^Admin/jenkins/ci-extras/target/