gui/mingwmake.bat
changeset 642 77d5fddb6462
parent 357 8f5f28ce8bc3