diff options
author | Rémi Verschelde <rverschelde@gmail.com> | 2023-01-29 14:11:50 +0100 |
---|---|---|
committer | Rémi Verschelde <rverschelde@gmail.com> | 2023-01-29 14:11:50 +0100 |
commit | 21af5733b8e775cf1a97f8fe1f43304f3b2d796c (patch) | |
tree | 954eeb7c176591a92e37334b03a5d53f34739510 /thirdparty/fonts | |
parent | 915bdd4b4d47b4b5279ae012c9db18c471adb6c4 (diff) | |
parent | 5a283bdbcdffdefe8a6dfaa2edd5642ff266f0ea (diff) |
Merge pull request #72295 from timothyqiu/unicode-highlighter
Allow unicode identifier in GDScript syntax highlighter
Diffstat (limited to 'thirdparty/fonts')
0 files changed, 0 insertions, 0 deletions