From 9cfe880e1f5f9dddd63aa269a2fb159665c2d182 Mon Sep 17 00:00:00 2001
From: aspiwack
Date: Tue, 11 Aug 2009 12:02:49 +0000
Subject: Ajout des .annot dans le .gitignore.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12272 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 .gitignore | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.gitignore b/.gitignore
index 22f01e7c1d..7bab0acb17 100644
--- a/.gitignore
+++ b/.gitignore
@@ -3,6 +3,7 @@
 *.d.raw
 *.vo
 *.cm*
+*.annot
 *.o
 *.a
 *.log
-- 
cgit v1.2.3