Admin/Mercurial/logrotate.conf
author paulson
Tue, 02 Mar 2010 12:59:16 +0000
changeset 35509 13e83ce8391b
parent 28000 ca56bbb99607
permissions -rw-r--r--
merged

# $Id$

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