diff options
| author | Fabio Alessandrelli <fabio.alessandrelli@gmail.com> | 2020-12-08 11:18:03 +0100 |
|---|---|---|
| committer | Fabio Alessandrelli <fabio.alessandrelli@gmail.com> | 2020-12-09 17:54:50 +0100 |
| commit | eb2152538c0549146341b16251f4abcfb79df1f5 (patch) | |
| tree | e98af050512ca73893adc0a051c3be16e4fcd91e /thirdparty/pcre2/src/pcre2_valid_utf.c | |
| parent | a28d5e2be7257e2bac40028d07eee37f0f3ef4c0 (diff) | |
[HTML5] Fix errors when Mic is not allowed.
Diffstat (limited to 'thirdparty/pcre2/src/pcre2_valid_utf.c')
0 files changed, 0 insertions, 0 deletions