gui/mingwmake.bat
changeset 644 0bf7cd45f7eb
parent 357 8f5f28ce8bc3