# HG changeset patch
# User Dave <d.j.moffat@qmul.ac.uk>
# Date 1465829366 -3600
# Node ID aee61764e6e215fe2d1a79f770fc048f4379e328
# Parent  96d2c18c08a5588422a1c22f4b3fbb05f8c4bff7
update ignore script to ignore all ._ files

diff -r 96d2c18c08a5 -r aee61764e6e2 .hgignore
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/.hgignore	Mon Jun 13 15:49:26 2016 +0100
@@ -0,0 +1,6 @@
+syntax: glob
+._*
+.aux
+.log
+.synctex.gz
+.DS_Store