diff options
author | Rémi Verschelde <rverschelde@gmail.com> | 2021-04-27 17:36:28 +0200 |
---|---|---|
committer | Rémi Verschelde <rverschelde@gmail.com> | 2021-04-27 17:36:53 +0200 |
commit | cd8d3219619d041cb29f4cf1047f2e68eea4a8e4 (patch) | |
tree | 0408bf7348e0540f4f221706f95feda822885a51 /thirdparty/pcre2/src/pcre2_auto_possess.c | |
parent | 288f484d0a034d02fbca3db0a2f14f5a0084a36b (diff) |
Tabs: Remove unused 'panel' stylebox from default theme
Cf. https://github.com/godotengine/godot/issues/37875#issuecomment-625297308.
Diffstat (limited to 'thirdparty/pcre2/src/pcre2_auto_possess.c')
0 files changed, 0 insertions, 0 deletions