1 # $Id$
2
3 /home/isabelle/html-data/isabelle-repos/log {
3 /home/isabelle-repository/repos/log {
4 compress
5 nomail
6 daily
7 rotate 5
8 }