From 72a3203891de51761436c9983ee145485ee26f45 Mon Sep 17 00:00:00 2001
From: Anil Madhavapeddy <anil@recoil.org>
Date: Mon, 16 Sep 2013 13:18:52 +0100
Subject: [PATCH] Add .gitignore for generated files

---
 .gitignore | 13 +++++++++++++
 1 file changed, 13 insertions(+)
 create mode 100644 .gitignore

diff --git a/.gitignore b/.gitignore
new file mode 100644
index 0000000..59dc76d
--- /dev/null
+++ b/.gitignore
@@ -0,0 +1,13 @@
+*.cmi
+*.cmo
+*.cma
+*.cmx
+*.cmxa
+*.top
+*.o
+*.a
+._bcdi/
+._ncdi/
+._d/
+cpdf
+*.annot