changeset 27473 | 83f973424116 |
parent 27469 | 00ee6d56de8b |
child 27479 | 9bcd25618d0c |
--- a/Admin/Mercurial/hgrc Thu Jul 03 17:58:10 2008 +0200 +++ b/Admin/Mercurial/hgrc Thu Jul 03 18:03:10 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/html-data/isabelle-repos/cvsps-2.1-patched/cvsps -A -u --cvs-direct --norc -v -b HEAD [web] description = "Mercurial snapshot of the Isabelle CVS repository"