changed the name of the default OpenMir logfile
authorzapata <zapata>
Fri, 18 Oct 2002 00:51:14 +0000 (00:51 +0000)
committerzapata <zapata>
Fri, 18 Oct 2002 00:51:14 +0000 (00:51 +0000)
commit3388844ff3062aec7236e7eca273cbfdddb91678
treef0831cd1e41164e5edf1f9be18ab5de76ff22238
parent4b9b2586f27990865770f3032f088e4748cd99ca
changed the name of the default OpenMir logfile
etc/config.properties-dist