waf.bat
author Peter D. Barnes, Jr. <barnes26@llnl.gov>
Tue, 11 Jun 2013 17:28:15 -0700
changeset 9872 106410ddd258
parent 779 fa5b85a032f9
permissions -rwxr-xr-x
Use a common portable pdf rescaling script.

@python -x waf %* & exit /b