# HG changeset patch
# User paulson <lp15@cam.ac.uk>
# Date 1396716749 -3600
# Node ID f47de9e82b0f9a912e1f46cd286080b244eb2388
# Parent  c267a0feb63a90d4e94363fd73cca3ac4b36e39f
ignore jedit mark files

diff -r c267a0feb63a -r f47de9e82b0f .hgignore
--- 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