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