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 54560 7f36da77130d
parent 48973 fcd21f714996
child 54582 cb17feba74e0 
--- a/.hgignore	Fri Nov 22 20:36:57 2013 +0100
+++ b/.hgignore	Fri Nov 22 20:37:19 2013 +0100
@@ -6,6 +6,7 @@
 *.orig
 *.rej
 .DS_Store
+.swp
 
 
 syntax: regexp
isabelle