| changeset 27466 | 9d2bf0fabcc8 |
| parent 27458 | f1976a293968 |
| child 27467 | c0c4a6bd2cbc |
| 27465:79db00d0fba9 | 27466:9d2bf0fabcc8 |
|---|---|
3 |
3 |
4 [convert] |
4 [convert] |
5 cvsps = cvsps -A -u --cvs-direct --norc -b HEAD |
5 cvsps = cvsps -A -u --cvs-direct --norc -b HEAD |
6 |
6 |
7 [web] |
7 [web] |
8 description = "Mercurial snapshot of the Isabelle CVS repository" |
|
8 allow_archive = gz |
9 allow_archive = gz |
9 style = gitweb |
10 style = gitweb |