diff options
| author | Fabio Alessandrelli <fabio.alessandrelli@gmail.com> | 2021-07-15 15:31:10 +0200 |
|---|---|---|
| committer | Fabio Alessandrelli <fabio.alessandrelli@gmail.com> | 2021-07-15 15:33:39 +0200 |
| commit | 74315862869b9ba8d3e63f13f3cc3b9c7f386ee3 (patch) | |
| tree | 778af990e39338201bf4d8c62fdfe92d2f98ce93 /doc/classes/EditorProperty.xml | |
| parent | 3d8acc7a54d8c2c261c3ce3c1c1022f4641985de (diff) | |
[HTML5] Make threads build the default.
Non-threads build are broken anyway.
Diffstat (limited to 'doc/classes/EditorProperty.xml')
0 files changed, 0 insertions, 0 deletions