From a243404af9fa7d01cf8693f64035299150f0f5ce Mon Sep 17 00:00:00 2001
From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Sat, 24 Dec 2005 13:36:51 +0000
Subject: [PATCH] fix

---
 helm/matita/scripts/README | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/helm/matita/scripts/README b/helm/matita/scripts/README
index e1b7d2447..d48449056 100644
--- a/helm/matita/scripts/README
+++ b/helm/matita/scripts/README
@@ -15,6 +15,6 @@ do_tests.sh
 insert.awk  
   creates the SQL INSERT statements for the output of profile_cvs.sh
 
-profile_cvs.sh
-  CVS co, compilation, run
+profile_svn.sh
+  SVN co, compilation, run
 
-- 
2.39.2