Admin/Mercurial/hgrc

use patched cvsps to workaround loss of "foo: bar;" log entries;

[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