author | wenzelm |
Thu, 03 Jul 2008 17:51:53 +0200 | |
changeset 27469 | 00ee6d56de8b |
parent 27468 | 0783dd1dc13d |
child 27470 | 84526c368a58 |
--- a/Admin/Mercurial/hgrc Thu Jul 03 17:47:22 2008 +0200 +++ b/Admin/Mercurial/hgrc Thu Jul 03 17:51:53 2008 +0200 @@ -2,9 +2,9 @@ hgext.convert = [convert] -cvsps = cvsps -A -u --cvs-direct --norc -b HEAD +cvsps = /home/isabelle/html-data/isabelle-repos/cvsps-2.1-patched/cvsps -A -u --cvs-direct --norc -b HEAD [web] description = "Mercurial snapshot of the Isabelle CVS repository" allow_archive = gz -#style = gitweb +