diff options
author | RĂ©mi Verschelde <rverschelde@gmail.com> | 2020-01-31 18:36:29 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-01-31 18:36:29 +0100 |
commit | 8eef6d280b42f098e15d0e1e6acf8189ae4be489 (patch) | |
tree | a316fc089358a60a2cb4315eabf2986d557e9818 /editor/editor_settings.h | |
parent | 2a1e21b6b1c37ce1774aa8661925f980092a6915 (diff) | |
parent | e818b51f32a96b5d27c70075f048bbfe1442243c (diff) |
Merge pull request #35451 from Calinou/html5-web-environment-only
Only emit the JavaScript support code for Web when building for HTML5
Diffstat (limited to 'editor/editor_settings.h')
0 files changed, 0 insertions, 0 deletions