author | wenzelm |
Mon, 04 Aug 2008 20:19:59 +0200 | |
changeset 27726 | d32ecc8c0817 |
parent 27725 | 6d133c2b681f |
child 27727 | 2397e310b2cc |
1.1 --- a/Admin/Mercurial/hgrc Mon Aug 04 19:25:59 2008 +0200 1.2 +++ b/Admin/Mercurial/hgrc Mon Aug 04 20:19:59 2008 +0200 1.3 @@ -6,6 +6,6 @@ 1.4 1.5 [web] 1.6 style = isabelle 1.7 -description = Mercurial snapshot of the Isabelle CVS repository 1.8 +description = Snapshot of the official Isabelle CVS repository 1.9 allow_archive = gz 1.10 maxfiles = 50