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.
basic setup of .hgignore;
authorwenzelm
Sat, 29 Nov 2008 18:26:53 +0100
changeset 28909 40d87c73120d
parent 28908 4571302e1594
child 28910 5c712e46988f
basic setup of .hgignore;
.hgignore file | annotate | diff | comparison | revisions 
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/.hgignore	Sat Nov 29 18:26:53 2008 +0100
@@ -0,0 +1,11 @@
+syntax: glob
+
+*~
+.DS_Store
+
+
+syntax: regexp
+
+^heaps/
+^browser_info/
+
isabelle