diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2018-12-13 21:11:22 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-12-13 21:11:22 +0100 |
| commit | 1a02aa9b52ee6ac8d8f340e729a4dbe751637966 (patch) | |
| tree | 62cf02a725dc7db7bc513bab6c9b96d886250037 /modules/mono/config.py | |
| parent | 016092181c8b575f342e4abaf40482e953815c11 (diff) | |
| parent | 2f31d31c237214587b8cec1dcdd4d713c60f461c (diff) | |
Merge pull request #24327 from godotengine/revert-20725-textedit-subtle-indent-guides
Revert "Use more subtle indentation guides in the script editor"
Diffstat (limited to 'modules/mono/config.py')
0 files changed, 0 insertions, 0 deletions