diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2024-03-14 22:35:11 +0100 |
|---|---|---|
| committer | Rémi Verschelde <rverschelde@gmail.com> | 2024-03-14 22:35:11 +0100 |
| commit | 520ff5cb1709e91e0b98d0caf318f20852681434 (patch) | |
| tree | 441cdb9c1e191d10d09f81ae528fe3bd8bd12ff4 /thirdparty/pcre2/src/pcre2_string_utils.c | |
| parent | 36b33d9b7263ddd61502e6ca92e1ac2b3f665f46 (diff) | |
| parent | d4ac3fabac437ab194b5666392db97f34e1306a0 (diff) | |
| download | redot-engine-520ff5cb1709e91e0b98d0caf318f20852681434.tar.gz | |
Merge pull request #89462 from RobProductions/fix-external-theme-margin
Fix main editor button margins while using a custom theme
Diffstat (limited to 'thirdparty/pcre2/src/pcre2_string_utils.c')
0 files changed, 0 insertions, 0 deletions