Admin/Mercurial/logrotate.conf
author huffman
Fri, 13 Mar 2009 07:35:18 -0700
changeset 30506 105ad9a68e51
parent 28000 ca56bbb99607
permissions -rw-r--r--
fix typed print translation for CARD('a)

# $Id$

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