diff options
| author | Fabio Alessandrelli <fabio.alessandrelli@gmail.com> | 2020-08-06 16:20:05 +0200 |
|---|---|---|
| committer | Fabio Alessandrelli <fabio.alessandrelli@gmail.com> | 2020-09-18 18:48:59 +0200 |
| commit | 27ab97501b4b39ce200c0609071d2dd12d7b7c12 (patch) | |
| tree | 5cf86fd0ecb43b7e51d7ab99e2eb9a1b59ceb285 /thirdparty/pcre2 | |
| parent | 179e6fabb42a75504ec67f291b87194cb0caa9e3 (diff) | |
[HTML5] Add override keyword, cleanup methods.
Diffstat (limited to 'thirdparty/pcre2')
0 files changed, 0 insertions, 0 deletions