diff options
author | RĂ©mi Verschelde <rverschelde@gmail.com> | 2017-08-18 22:40:21 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-08-18 22:40:21 +0200 |
commit | b044e7d30d1f722d502d9ad564091b2e4a03b390 (patch) | |
tree | 54591acc69016de5bafb7b7a295ece4ab4b777db /editor/property_editor.cpp | |
parent | 18a73153812d4f9be82ec30eafdb8961c625c97b (diff) | |
parent | 6afa08759690e4159bf280b964809888535095c3 (diff) |
Merge pull request #10426 from akien-mga/drop-old-mingw32
Windows: Drop support for obsolete MinGW
Diffstat (limited to 'editor/property_editor.cpp')
0 files changed, 0 insertions, 0 deletions