devtools/mingwmake.bat
changeset 401 538267cab6ec
parent 133 73d6e6a457c0