# $Id$ # # Configuration file for mondo # # By default values are taken from mondo.conf.dist # You can override them here # # e.g. # #mondo_tmp_dir="/var/tmp"