devtools/mingwmake.bat
changeset 157 46f441ef84a7
parent 133 73d6e6a457c0
equal deleted inserted replaced
156:e7c087bc7b14 157:46f441ef84a7