diff options
author | RĂ©mi Verschelde <remi@verschelde.fr> | 2021-05-31 14:47:49 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-05-31 14:47:49 +0200 |
commit | e615060cd6ec099fbeb6f068cc0815a940ed7c61 (patch) | |
tree | 9085044d95fc6edd3a1c13328e79e6860b7c6677 /servers/navigation_server_3d.cpp | |
parent | 643da45e165a908fc49b201bd65bf326647306db (diff) | |
parent | 1704be0a4490d04e6c086b8d026a64ee725827d1 (diff) |
Merge pull request #49132 from Calinou/editor-syntax-themes-rename-default
Rename the bundled text editor themes for consistency with themes
Diffstat (limited to 'servers/navigation_server_3d.cpp')
0 files changed, 0 insertions, 0 deletions