diff baum.h @ 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 0e15841ae111
children e2048e569891
line wrap: on
line diff