isabelle: Admin/Mercurial/hgrc@00ee6d56de8b (annotated)

27458 f1976a293968 hgrc for conversion and web service; wenzelm parents: diff changeset	1	[extensions]
f1976a293968 hgrc for conversion and web service; wenzelm parents: diff changeset	2	hgext.convert =
f1976a293968 hgrc for conversion and web service; wenzelm parents: diff changeset	3
f1976a293968 hgrc for conversion and web service; wenzelm parents: diff changeset	4	[convert]
27469 00ee6d56de8b use patched cvsps to workaround loss of "foo: bar;" log entries; wenzelm parents: 27467 diff changeset	5	cvsps = /home/isabelle/html-data/isabelle-repos/cvsps-2.1-patched/cvsps -A -u --cvs-direct --norc -b HEAD
27458 f1976a293968 hgrc for conversion and web service; wenzelm parents: diff changeset	6
f1976a293968 hgrc for conversion and web service; wenzelm parents: diff changeset	7	[web]
27466 9d2bf0fabcc8 added description; wenzelm parents: 27458 diff changeset	8	description = "Mercurial snapshot of the Isabelle CVS repository"
27458 f1976a293968 hgrc for conversion and web service; wenzelm parents: diff changeset	9	allow_archive = gz
27469 00ee6d56de8b use patched cvsps to workaround loss of "foo: bar;" log entries; wenzelm parents: 27467 diff changeset	10