From 579d0fe3fc304f02100d70d2174807fc5006ab39 Mon Sep 17 00:00:00 2001
From: glondu
Date: Thu, 14 Jan 2010 12:48:37 +0000
Subject: Add *.annot to .gitignore

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

diff --git a/.gitignore b/.gitignore
index aee7ed659e..458ebed341 100644
--- a/.gitignore
+++ b/.gitignore
@@ -6,6 +6,7 @@
 *.annot
 *.o
 *.a
+*.annot
 *.log
 *.aux
 *.dvi
-- 
cgit v1.2.3