From 6dda6ba226f7333711d8cceb2395c6422b456fc6 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?C=C3=A9dric=20Pasteur?= Date: Mon, 26 Jul 2010 09:40:31 +0200 Subject: [PATCH] Updated .gitignore --- .gitignore | 11 +++++++++++ 1 file changed, 11 insertions(+) diff --git a/.gitignore b/.gitignore index de5209a..21fc555 100644 --- a/.gitignore +++ b/.gitignore @@ -8,7 +8,18 @@ _build *.cmx *.annot *.byte +*.native *.depend *.swp .settings \#*\# +*.mls +*.obc +*.c +*.h +*.o +*. +*.epci +*.epo +*.dot +test/*.ml \ No newline at end of file