Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
more accurate .hgignore;
authorwenzelm
Thu, 10 Mar 2022 12:03:39 +0100
changeset 75258 8d09013d8c68
parent 75257 d1e5f9dbf885
child 75259 fd44e4559adb
more accurate .hgignore;
.hgignore file | annotate | diff | comparison | revisions 
--- 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/
isabelle