diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2017-09-01 08:14:47 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-09-01 08:14:47 +0200 |
| commit | bf5b02cb71cec5d78f507e01de9fbf4d2192a3a3 (patch) | |
| tree | 7481c97e37a7b3c16a9b8a1e59fa05dee729021d /editor/icons/icon_control.svg | |
| parent | 4536c608f2cb51eb2ad87159280ff312924c5192 (diff) | |
| parent | d586b98a2028cfb640be6a3c2fb7035539af8945 (diff) | |
Merge pull request #10832 from Paulb23/auto_indent_setting
Added setting to toggle auto indent.
Diffstat (limited to 'editor/icons/icon_control.svg')
0 files changed, 0 insertions, 0 deletions