Admin/Mercurial/hgrc
author wenzelm
Thu, 03 Jul 2008 15:13:59 +0200
changeset 27466 9d2bf0fabcc8
parent 27458 f1976a293968
child 27467 c0c4a6bd2cbc
permissions -rw-r--r--
added description;

[extensions]
hgext.convert =

[convert]
cvsps = cvsps -A -u --cvs-direct --norc -b HEAD

[web]
description = "Mercurial snapshot of the Isabelle CVS repository"
allow_archive = gz
style = gitweb