Admin/Mercurial/logrotate.conf
author wenzelm
Tue, 26 Aug 2008 11:42:46 +0200
changeset 28000 ca56bbb99607
parent 27464 3640865d4a38
permissions -rw-r--r--
replaced /home/isabelle/html-data/isabelle-repos by /home/isabelle-repository/repos;
     1 # $Id$
     2 
     3 /home/isabelle-repository/repos/log {
     4   compress
     5   nomail
     6   daily
     7   rotate 5
     8 }