rename logfile

Signed-off-by: Nico Schottelius <nico@kr.ethz.ch>
This commit is contained in:
Nico Schottelius 2011-02-26 11:04:59 +01:00
parent ea46e6aeec
commit b2def229fd