waf.bat
author Nicola Baldo <nbaldo@cttc.es>
Tue, 29 May 2012 14:13:23 +0200
changeset 8823 c49104e07bcb
parent 779 fa5b85a032f9
permissions -rwxr-xr-x
merge

@python -x waf %* & exit /b