diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2021-08-06 10:17:29 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-08-06 10:17:29 +0200 |
| commit | 18fb2afcacb401ebfa866b94f2be85da6f8feb0a (patch) | |
| tree | 399cfff01164b176e9a3de0f35d1d8b7c2eb3c90 /thirdparty/pcre2/src/pcre2_study.c | |
| parent | faad8833fe8144ef8d79d4d6b7f46bb059c6cda5 (diff) | |
| parent | a97c5b50db4f64e2158df3d6586036442ce4cbbd (diff) | |
Merge pull request #51214 from Calinou/update-spinner-highlight-when-continuous
Change the editor update spinner color when updating continuously
Diffstat (limited to 'thirdparty/pcre2/src/pcre2_study.c')
0 files changed, 0 insertions, 0 deletions