diff options
| author | Fabio Alessandrelli <fabio.alessandrelli@gmail.com> | 2021-02-15 16:40:44 +0100 |
|---|---|---|
| committer | Fabio Alessandrelli <fabio.alessandrelli@gmail.com> | 2021-02-17 13:03:52 +0100 |
| commit | 1446cfd13dae0e2e938466eddd325d45e1a032b5 (patch) | |
| tree | e430993a18f534e817d254fb9d08749c431f018e /platform/javascript/js | |
| parent | 0ae762a7013f7191296d79dbe9e38f5f1afe095f (diff) | |
[HTML5] Fix compilation issues in 4.0
More memory is needed, and a Workaround to avoid undefined symbol due to
dead code elimination.
Diffstat (limited to 'platform/javascript/js')
0 files changed, 0 insertions, 0 deletions