devtools/mingwmake.bat
changeset 631 bbff6dd6f865
parent 133 73d6e6a457c0