do not run distclean by default
[mkws-moved-to-github.git] / tools / bin /
2014-01-03 Wolfram Schneiderbuild the MKWS from GIT repo in a sandbox and run full...