Admin/Mercurial/Central/hgrc
author desharna
Thu, 17 Jun 2021 10:46:27 +0200
changeset 73857 a88427e55371
parent 48779 71136069089d
permissions -rw-r--r--
shortened long lines

[web]
style = isabelle
contact = isabelle
description = The Isabelle repository
allow_archive = gz
maxfiles = 50
encoding = UTF-8