diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2020-01-19 22:20:16 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-01-19 22:20:16 +0100 |
| commit | 5358254b6ca752b88138a2b523767093f572ca4c (patch) | |
| tree | 06557f4e5631ff3f0931ef4c1703a74d8bd4a47a /thirdparty/pcre2 | |
| parent | cb088e391e69420eaa77f94e390902dd5f1e4d55 (diff) | |
| parent | d72f5e0938592088d3addc817cd9d9d3c91d1ae0 (diff) | |
Merge pull request #35325 from Calinou/optimize-editor-theme-creation
Only create the editor theme once
Diffstat (limited to 'thirdparty/pcre2')
0 files changed, 0 insertions, 0 deletions