diff options
author | Georgi Genkov <g.genkov@student.tudelft.nl> | 2020-04-11 13:17:46 +0200 |
---|---|---|
committer | Georgi Genkov <g.genkov@student.tudelft.nl> | 2021-05-18 10:42:06 +0200 |
commit | a8c83a7b354b9fa0f2a1f50b8b1ae39048ba869a (patch) | |
tree | c1c3f04742736b273a2baf41fa09be8a1fdec4e3 /servers/text_server.h | |
parent | 510030fedc79cdcd75f9e1c3c1c195cba6c2703c (diff) |
Change EditorFileSystem and ScriptEditor file sorting order to improve consistency.
Fixes #37721.
Diffstat (limited to 'servers/text_server.h')
0 files changed, 0 insertions, 0 deletions