changeset 4:aee61764e6e2 tip

update ignore script to ignore all ._ files
author Dave <d.j.moffat@qmul.ac.uk>
date Mon, 13 Jun 2016 15:49:26 +0100
parents 96d2c18c08a5
children
files .hgignore
diffstat 1 files changed, 6 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- /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