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 in-situ contrib symlinks
authorhaftmann
Tue, 16 Jun 2009 16:37:58 +0200
changeset 31669 6802c34af5a9
parent 31668 a616e56a5ec8
child 31670 ce07fc5fcb17
ignore in-situ contrib symlinks
.hgignore file | annotate | diff | comparison | revisions 
--- a/.hgignore	Tue Jun 16 16:37:07 2009 +0200
+++ b/.hgignore	Tue Jun 16 16:37:58 2009 +0200
@@ -8,6 +8,7 @@
 
 syntax: regexp
 
+^contrib
 ^heaps/
 ^browser_info/
 ^doc-src/.*\.aux
isabelle