Admin/Mercurial/hgrc

cvsps: back to non-verbose mode;

[extensions]
hgext.convert =

[convert]
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
maxfiles = 50