From 67b79ab37df5a4cc6a9e49c5d90391434553f4bc Mon Sep 17 00:00:00 2001
From: filliatr
Date: Wed, 8 Nov 2000 07:56:39 +0000
Subject: tous les binaires maintenant dans le repertoire bin

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

(limited to 'bin')

diff --git a/bin/.cvsignore b/bin/.cvsignore
new file mode 100644
index 0000000000..6d8d60b021
--- /dev/null
+++ b/bin/.cvsignore
@@ -0,0 +1,5 @@
+coqc
+coqmktop
+coqtop.byte
+coqtop.opt
+minicoq
-- 
cgit v1.2.3