From 9811c02fddca07f88f010ad3d62e6de7db5b244f Mon Sep 17 00:00:00 2001
From: Guillermo Ramos
Date: Wed, 26 Feb 2014 20:08:11 +0100
Subject: Initial commit 2

---
 .gitignore | 12 +++---------
 1 file changed, 3 insertions(+), 9 deletions(-)

(limited to '.gitignore')

diff --git a/.gitignore b/.gitignore
index fea4c45..60db691 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,9 +1,3 @@
-*.annot
-*.cmo
-*.cma
-*.cmi
-*.a
-*.o
-*.cmx
-*.cmxs
-*.cmxa
+_build
+*.native
+*.byte
-- 
cgit v1.2.3