From 86798534738c2cf9ab5dc83f46c79fb99d8bfa49 Mon Sep 17 00:00:00 2001
From: ygrek <ygrek@autistici.org>
Date: Fri, 8 Jan 2010 17:30:55 +0200
Subject: [PATCH] .gitignore

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

diff --git a/.gitignore b/.gitignore
new file mode 100644
index 0000000..0bf0198
--- /dev/null
+++ b/.gitignore
@@ -0,0 +1,6 @@
+*.cm[ixao]
+*.cmxa
+*.annot
+*.[oa]
+syntax/deriving
+*/._*/
-- 
2.11.4.GIT