diff options
| author | VolTer <mew.pur.pur@abv.bg> | 2022-10-02 13:59:49 +0200 |
|---|---|---|
| committer | VolTer <mew.pur.pur@abv.bg> | 2022-11-02 01:14:02 +0100 |
| commit | e0e236edfc75cb4d9999d619edac3cec8e3ea323 (patch) | |
| tree | 69dd6be11bc17cad129f7433efb5c3abee55bdd1 /modules/gdscript/language_server/gdscript_extend_parser.cpp | |
| parent | 0a0e99cadc6e250ff2ee27ef31760eb9c2e21040 (diff) | |
| download | redot-engine-e0e236edfc75cb4d9999d619edac3cec8e3ea323.tar.gz | |
Remove editor setting for hiding bookmarks
Diffstat (limited to 'modules/gdscript/language_server/gdscript_extend_parser.cpp')
0 files changed, 0 insertions, 0 deletions