diff options
author | Juan Linietsky <reduzio@gmail.com> | 2022-03-28 13:31:32 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-03-28 13:31:32 +0200 |
commit | ed14ff5a08e6fd47a09f43a7fef2364d1b42a7e8 (patch) | |
tree | 8b65b476fec3c896f79ebdc834009f23f6483eab /editor/editor_properties.h | |
parent | 6b2481fcfee06c1c946c59cf3f9b21347573d339 (diff) |
Revert "Sort autocomplete/code completion options in a better way"
Diffstat (limited to 'editor/editor_properties.h')
0 files changed, 0 insertions, 0 deletions