diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2017-09-12 13:29:28 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-09-12 13:29:28 +0200 |
| commit | 0e8f44016e3aea614a35b531887ad2df2e36df0d (patch) | |
| tree | 8476116ec118f13872b9f31b0787a94cd989d8ed /thirdparty/pcre2/src | |
| parent | 6aa90e35bb57c8465e99693a24d89ce7f39a2af3 (diff) | |
| parent | e835d80a3f673cb12dbad71b90469243bf9b55ab (diff) | |
Merge pull request #11020 from toger5/theme_animation_editor_colors
removed hardcoded color and added theme update for animation editor
Diffstat (limited to 'thirdparty/pcre2/src')
0 files changed, 0 insertions, 0 deletions