Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
.hgignore
changeset 31669 6802c34af5a9
parent 28943 9fb44eb4425d
child 31926 cdfe9a757d5f 
--- 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