# HG changeset patch
# User wenzelm
# Date 1217873999 -7200
# Node ID d32ecc8c081794b2707cae70a1282eadd3e4f580
# Parent  6d133c2b681f954514f49715cfa073c04f8db3a5
tuned description;

diff -r 6d133c2b681f -r d32ecc8c0817 Admin/Mercurial/hgrc
--- a/Admin/Mercurial/hgrc	Mon Aug 04 19:25:59 2008 +0200
+++ b/Admin/Mercurial/hgrc	Mon Aug 04 20:19:59 2008 +0200
@@ -6,6 +6,6 @@
 
 [web]
 style = isabelle
-description = Mercurial snapshot of the Isabelle CVS repository
+description = Snapshot of the official Isabelle CVS repository
 allow_archive = gz
 maxfiles = 50