diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2017-06-27 08:15:54 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-06-27 08:15:54 +0200 |
| commit | 72bf46649e55d20a8173e439262b16b28c587372 (patch) | |
| tree | 57fb3c79b2994a31c1ee7dfe1690525b09148b4a /modules/gridmap/config.py | |
| parent | 460ec3344e652f968ab2ca670a1178ed790ea29f (diff) | |
| parent | 6687484958412ff0f3bd6d97cbc1fcebc7ae64d2 (diff) | |
Merge pull request #9360 from GodotExplorer/pr-external-editor-language-check
Better user experience with external text editors.
Diffstat (limited to 'modules/gridmap/config.py')
0 files changed, 0 insertions, 0 deletions