# HG changeset patch
# User wenzelm
# Date 1228138873 -3600
# Node ID bbc600e2276c0a46cb1d23af409cf2c941dc17fd
# Parent  7e631979922fcd9c72790f811ed3091483ca9647
adapted description: old CVS;

diff -r 7e631979922f -r bbc600e2276c Admin/Mercurial/hgrc
--- a/Admin/Mercurial/hgrc	Mon Dec 01 13:43:32 2008 +0100
+++ b/Admin/Mercurial/hgrc	Mon Dec 01 14:41:13 2008 +0100
@@ -6,6 +6,6 @@
 
 [web]
 style = isabelle
-description = Snapshot of the official Isabelle CVS repository
+description = Snapshot of the old Isabelle CVS
 allow_archive = gz
 maxfiles = 50