diff options
author | Ignacio Roldán Etcheverry <neikeq@users.noreply.github.com> | 2019-07-25 00:24:35 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-07-25 00:24:35 +0200 |
commit | ad0d87b4dddfe6b9e88510dd526bcd4028ba3030 (patch) | |
tree | fdda042e7c5c3c0aa551d884bc019008b18a7fed /main/main.cpp | |
parent | adae2b073811d0f81afdfab277fdb27d2ba9f16a (diff) | |
parent | c0cdbb793822961e68727925d0f3f4e00f780306 (diff) |
Merge pull request #30802 from neikeq/exc-policy-and-issue-30519
Unhandled exception policy and fix external editors on Windows
Diffstat (limited to 'main/main.cpp')
0 files changed, 0 insertions, 0 deletions