diff options
| author | Rémi Verschelde | 2017-12-13 22:32:35 +0100 |
|---|---|---|
| committer | GitHub | 2017-12-13 22:32:35 +0100 |
| commit | 592ce20fc506e6b8a74f84515508cfc137aa75cf (patch) | |
| tree | 59175c2026ae28efc899b6da3e813523b7ff8287 /editor/plugins/script_text_editor.cpp | |
| parent | 8771329f5554f74320f21aa2e1620f9ba1d6f044 (diff) | |
| parent | a187345603ab406e11ec09414d80409d0b8c49da (diff) | |
| download | godot-592ce20fc506e6b8a74f84515508cfc137aa75cf.tar.gz godot-592ce20fc506e6b8a74f84515508cfc137aa75cf.tar.zst godot-592ce20fc506e6b8a74f84515508cfc137aa75cf.zip | |