From b3aeff2e26a1e8e01f4aa6faebe9c798bda1c37c Mon Sep 17 00:00:00 2001
From: John Whitington <john@coherentgraphics.co.uk>
Date: Thu, 12 Jan 2017 19:53:46 +0000
Subject: [PATCH] more

---
 .gitignore | 15 ++-------------
 1 file changed, 2 insertions(+), 13 deletions(-)

diff --git a/.gitignore b/.gitignore
index 59dc76d..2377a8d 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,13 +1,2 @@
-*.cmi
-*.cmo
-*.cma
-*.cmx
-*.cmxa
-*.top
-*.o
-*.a
-._bcdi/
-._ncdi/
-._d/
-cpdf
-*.annot
+.DS_Store
+.texpadtmp