diff options
author | Rémi Verschelde <rverschelde@gmail.com> | 2022-09-06 17:01:08 +0200 |
---|---|---|
committer | Rémi Verschelde <rverschelde@gmail.com> | 2022-09-06 17:01:08 +0200 |
commit | 13c880911b2a9b8c979e665bb52d6ffe2d4a1165 (patch) | |
tree | 0bd3bd54cb4b889b11a6bff70f671e599ec230dd /thirdparty/fonts/JetBrainsMono_Regular.woff2 | |
parent | 49d18f0725ad9ac92ea058f18a0b2befe39a24d8 (diff) | |
parent | 8442d77614a8ff4be89dc33f98ce41fd18cc2c23 (diff) |
Merge pull request #65420 from YuriSizov/editor-bit-sized-help-colors
Fix theming error in EditorHelp due to order of operations issue
Diffstat (limited to 'thirdparty/fonts/JetBrainsMono_Regular.woff2')
0 files changed, 0 insertions, 0 deletions