From c5564614cd3f8a95cb4f8ebe560d7d3ac72c40cf Mon Sep 17 00:00:00 2001
From: filliatr
Date: Mon, 9 Apr 2001 07:33:46 +0000
Subject: mise � jour

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

diff --git a/doc/.cvsignore b/doc/.cvsignore
index 648f312ff4..e451a5f0d8 100644
--- a/doc/.cvsignore
+++ b/doc/.cvsignore
@@ -27,3 +27,4 @@ all-ps-docs.tar.gz
 config.cache
 config.status
 Makefile
+Reference-Manual.rel
-- 
cgit v1.2.3