From 6e411c46276ef683ddac15d3358b6dcf53b2bbe6 Mon Sep 17 00:00:00 2001
From: filliatr
Date: Wed, 8 Nov 2000 07:58:23 +0000
Subject: binaires a ingorer par CVS

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@823 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 bin/.cvsignore | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/bin/.cvsignore b/bin/.cvsignore
index 6d8d60b021..4ec23cbfe2 100644
--- a/bin/.cvsignore
+++ b/bin/.cvsignore
@@ -3,3 +3,7 @@ coqmktop
 coqtop.byte
 coqtop.opt
 minicoq
+coqdep
+coq_makefile
+gallina
+coq-tex
-- 
cgit v1.2.3