baum
diff Makefile @ 38:ff01f0f076e4
option_verbose is now global; stuff about warning when (expected) nodes are not there
author | meillo@marmaro.de |
---|---|
date | Sat, 01 Mar 2008 20:04:08 +0100 |
parents | ed3eb4b497e5 |
children | 0b82169d4129 |
line diff