# HG changeset patch
# User wenzelm
# Date 1215100313 -7200
# Node ID 00ee6d56de8b121227a8b016af3aa902112adb18
# Parent  0783dd1dc13dce7345b7bd2ebebcc301764cb3ce
use patched cvsps to workaround loss of "foo: bar;" log entries;

diff -r 0783dd1dc13d -r 00ee6d56de8b Admin/Mercurial/hgrc
--- a/Admin/Mercurial/hgrc	Thu Jul 03 17:47:22 2008 +0200
+++ b/Admin/Mercurial/hgrc	Thu Jul 03 17:51:53 2008 +0200
@@ -2,9 +2,9 @@
 hgext.convert =
 
 [convert]
-cvsps = cvsps -A -u --cvs-direct --norc -b HEAD
+cvsps = /home/isabelle/html-data/isabelle-repos/cvsps-2.1-patched/cvsps -A -u --cvs-direct --norc -b HEAD
 
 [web]
 description = "Mercurial snapshot of the Isabelle CVS repository"
 allow_archive = gz
-#style = gitweb
+