Admin/Mercurial/hgrc

--- a/Admin/Mercurial/hgrc	Mon Aug 25 23:27:56 2008 +0200
+++ b/Admin/Mercurial/hgrc	Tue Aug 26 11:42:46 2008 +0200
@@ -2,7 +2,7 @@
 hgext.convert =
 
 [convert]
-cvsps = /home/isabelle/html-data/isabelle-repos/cvsps-2.1-patched/cvsps -A -u --cvs-direct --norc -b HEAD
+cvsps = /home/isabelle-repository/repos/cvsps-2.1-patched/cvsps -A -u --cvs-direct --norc -b HEAD
 
 [web]
 style = isabelle