Admin/Mercurial/hgrc
author haftmann
Tue, 12 May 2009 19:30:33 +0200
changeset 31125 80218ee73167
parent 28928 bbc600e2276c
permissions -rw-r--r--
transferred code generator preprocessor into separate module

[extensions]
hgext.convert =

[convert]
cvsps = /home/isabelle-repository/repos/cvsps-2.1-patched/cvsps -A -u --cvs-direct --norc -b HEAD

[web]
style = isabelle
description = Snapshot of the old Isabelle CVS
allow_archive = gz
maxfiles = 50