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 jedit mark files
authorpaulson <lp15@cam.ac.uk>
Sat, 05 Apr 2014 17:52:29 +0100
changeset 56419 f47de9e82b0f
parent 56418 c267a0feb63a
child 56420 b266e7a86485
ignore jedit mark files
.hgignore file | annotate | diff | comparison | revisions 
--- a/.hgignore	Sat Apr 05 10:12:51 2014 +0200
+++ b/.hgignore	Sat Apr 05 17:52:29 2014 +0100
@@ -3,6 +3,7 @@
 *~
 *.class
 *.jar
+*.marks
 *.orig
 *.rej
 .DS_Store
isabelle