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.
ignore some src/Tools/jEdit stuff;
authorwenzelm
Mon, 11 Jan 2010 22:44:21 +0100
changeset 34870 e10547372c41
parent 34869 502f90967483
child 34871 e596a0b71f3c
ignore some src/Tools/jEdit stuff;
.hgignore file | annotate | diff | comparison | revisions 
--- a/.hgignore	Mon Jan 11 22:31:27 2010 +0100
+++ b/.hgignore	Mon Jan 11 22:44:21 2010 +0100
@@ -24,4 +24,7 @@
 ^doc-src/.*\.rao
 ^doc-src/.*\.toc
 
-
+^src/Tools/jEdit/nbproject/private/
+^src/Tools/jEdit/build/
+^src/Tools/jEdit/dist/
+^src/Tools/jEdit/contrib/
isabelle