/thirdparties/win32/tools/

• ../
• BatchSubstitute.bat
• abnfgen.exe
• ragel.exe