baum

diff Makefile @ 13:bf660b45bba9

added commandline options (-v, -c, file); logging only if -v is set
author meillo@marmaro.de
date Wed, 13 Feb 2008 09:13:02 +0100
parents 2f71d692d4f9
children 3c64b5ac821b
line diff