diff options
author | Yuri Kunde Schlesner <yuriks@yuriks.net> | 2016-12-04 20:33:19 -0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2016-12-04 20:33:19 -0800 |
commit | 100f5f41315aeb518250ca0603c64d797ddbc64e (patch) | |
tree | 15078aafffe4aed23006b61e713c1483d256989a /src/core/settings.cpp | |
parent | 5234f2d287e93509a84a064a4655281cdb528d88 (diff) | |
parent | 61687840bcc40b641f9130adcae5a36d4f570391 (diff) |
Merge pull request #2200 from j-selby/fix-mingw-crash
Disable Microprofile on Mingw builds
Diffstat (limited to 'src/core/settings.cpp')
0 files changed, 0 insertions, 0 deletions