--- a/Admin/Mercurial/hgrc Thu Jul 03 14:52:54 2008 +0200
+++ b/Admin/Mercurial/hgrc Thu Jul 03 15:13:59 2008 +0200
@@ -5,5 +5,6 @@
cvsps = cvsps -A -u --cvs-direct --norc -b HEAD
[web]
+description = "Mercurial snapshot of the Isabelle CVS repository"
allow_archive = gz
style = gitweb