| changeset 27512 | 217efbf7d961 |
| parent 27510 | a55484e65b65 |
| child 27726 | d32ecc8c0817 |
--- a/Admin/Mercurial/hgrc Wed Jul 09 22:23:34 2008 +0200 +++ b/Admin/Mercurial/hgrc Wed Jul 09 22:25:24 2008 +0200 @@ -6,6 +6,6 @@ [web] style = isabelle -description = "Mercurial snapshot of the Isabelle CVS repository" +description = Mercurial snapshot of the Isabelle CVS repository allow_archive = gz maxfiles = 50