Admin/Mercurial/logrotate.conf
author wenzelm
Wed, 25 Mar 2009 21:34:31 +0100
changeset 30720 6d8dcfb264dc
parent 28000 ca56bbb99607
permissions -rw-r--r--
tuned;

# $Id$

/home/isabelle-repository/repos/log {
  compress
  nomail
  daily
  rotate 5
}