diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2021-01-19 15:14:42 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-01-19 15:14:42 +0100 |
| commit | 53e234fe5fa9e54372c897e4409dce9f4b3b1fe7 (patch) | |
| tree | ef1989697ee005f066380baa6478921f9332ba19 /editor/editor_builders.py | |
| parent | 7dea83c623eded9ddcdbbb0bbaa7e8229c5ec74f (diff) | |
| parent | da234cdbc6a86c2b447ae57a7a5ce2d8090543ea (diff) | |
Merge pull request #45310 from magian1127/master
Mono: Fix support for Unicode identifiers
Diffstat (limited to 'editor/editor_builders.py')
0 files changed, 0 insertions, 0 deletions