Andreas Schneider 6d09104ad3 Rename build directory to obj. ... Some buildsystem use build in the pathname and so we will filter out e.g. docs generation.		2014-01-16 08:53:32 +01:00
..
build_make.sh	Rename build directory to obj.	2014-01-16 08:53:32 +01:00