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.
redundant: *.class and *.jar are already ignored;
authorwenzelm
Fri, 16 Jul 2021 11:36:24 +0200
changeset 74010 4f60db51a263
parent 74009 10abe3049bec
child 74011 1d366486a812
redundant: *.class and *.jar are already ignored;
.hgignore file | annotate | diff | comparison | revisions 
--- a/.hgignore	Fri Jul 16 11:32:32 2021 +0200
+++ b/.hgignore	Fri Jul 16 11:36:24 2021 +0200
@@ -16,7 +16,6 @@
 ^heaps/
 ^browser_info/
 ^doc/.*\.pdf
-^lib/classes/
 ^src/Tools/VSCode/out/
 ^src/Tools/VSCode/extension/node_modules/
 ^Admin/jenkins/ci-extras/target/
isabelle