From f4d66182ea20873db9bb15bc4ce0a6ec2738c323 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Sat, 29 Nov 2003 17:55:04 +0000
Subject: Remplacement des fichiers .v ancienne syntaxe de theories, contrib et
 states par les fichiers nouvelle syntaxe

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

diff --git a/states/.cvsignore b/states/.cvsignore
index d013554864..2998932630 100644
--- a/states/.cvsignore
+++ b/states/.cvsignore
@@ -1,4 +1 @@
-barestate.coq
 initial.coq
-initialnew.coq
-*.v8
-- 
cgit v1.2.3