author | wenzelm |
Mon, 04 Aug 2008 19:25:59 +0200 | |
changeset 27725 | 6d133c2b681f |
parent 27512 | 217efbf7d961 |
child 27726 | d32ecc8c0817 |
permissions | -rw-r--r-- |
27458 | 1 |
[extensions] |
2 |
hgext.convert = |
|
3 |
||
4 |
[convert] |
|
27481 | 5 |
cvsps = /home/isabelle/html-data/isabelle-repos/cvsps-2.1-patched/cvsps -A -u --cvs-direct --norc -b HEAD |
27458 | 6 |
|
7 |
[web] |
|
27510 | 8 |
style = isabelle |
27512 | 9 |
description = Mercurial snapshot of the Isabelle CVS repository |
27458 | 10 |
allow_archive = gz |
27479 | 11 |
maxfiles = 50 |