Jean-Paul Chaput 17ac99fa46 * ./goodies: ... - New: In buildCoriolis.py, adds a "--rm-build" option which removes the tool's build directory before building it. A very crude way to ensure that nothing obsolete form a previous build will gets in the way...		2010-04-28 15:54:30 +00:00
..
buildCoriolis.py	* ./goodies:	2010-04-28 15:54:30 +00:00