waf.bat
author Francisco Javier Sánchez-Roselly <fnavarro@ujaen.es>
Mon, 05 Aug 2013 19:19:43 +0200
changeset 10112 fa446d420a4a
parent 779 fa5b85a032f9
permissions -rwxr-xr-x
Bug 1742 - IPv6 HbH and Dst Extension Header size is not correctly calculated

@python -x waf %* & exit /b