diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2017-09-01 12:46:41 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-09-01 12:46:41 +0200 |
| commit | 7c76e0c8c3dda5c88f761176cb93445b3214ea21 (patch) | |
| tree | d542e5d13a675261d6dd4f1cbc7c47bcfccad688 /editor/icons/icon_mini_boolean.svg | |
| parent | dafcd06bd157a25049886b2b50e4595299428e2c (diff) | |
| parent | 566c0f675a5d998171cdd8fa1e920af40a24d5dd (diff) | |
Merge pull request #10853 from leezh/pcre_html5_fix
Disabled PCRE-JIT in HTML5. Fixes #10834
[ci skip]
Diffstat (limited to 'editor/icons/icon_mini_boolean.svg')
0 files changed, 0 insertions, 0 deletions