diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2018-01-07 17:47:15 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-01-07 17:47:15 +0100 |
| commit | 4ab4001ab2ceb2aefcd8c148705b5de51152cac9 (patch) | |
| tree | c2c52b175a0f17e1dc56dd1fcecaa942a9ab407e /editor/editor_plugin_settings.h | |
| parent | 22f2f403acea07d1831e6daa3f93c8ea57776dbd (diff) | |
| parent | 4211e4453e79d884188d314416fa95693a3678d9 (diff) | |
Merge pull request #15447 from eska014/html5-optmode
Build WebAssembly release module with -Os to decrease file size
Diffstat (limited to 'editor/editor_plugin_settings.h')
0 files changed, 0 insertions, 0 deletions