1 [web]
2 style = isabelle
3 contact = isabelle
4 description = The Isabelle repository
5 allow_archive = gz
6 maxfiles = 50
7 encoding = UTF-8