diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2022-06-13 10:51:05 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-06-13 10:51:05 +0200 |
| commit | 89ca5b9d05a6389a9e52ede5367cef136d5b8ea8 (patch) | |
| tree | 705d0ee808baf8ce4ad9f1180b802254217e091a /editor/plugins/theme_editor_plugin.cpp | |
| parent | 2e58dcc150188b6f4257dbde21aa12e9a5bab49e (diff) | |
| parent | ba6cb84d01eaf6201c2cbc46378c9bf31c74e6b6 (diff) | |
Merge pull request #61988 from bruvzg/rtl_underline
Diffstat (limited to 'editor/plugins/theme_editor_plugin.cpp')
0 files changed, 0 insertions, 0 deletions