diff options
| author | Bojidar Marinov <bojidar.marinov.bg@gmail.com> | 2019-10-13 22:48:18 +0300 |
|---|---|---|
| committer | Bojidar Marinov <bojidar.marinov.bg@gmail.com> | 2019-10-25 14:54:57 +0300 |
| commit | afbde3314aee106c835249b2f56c14d68f782899 (patch) | |
| tree | 1e728dffda67be2c39fe57880e16c7bc0899d72e /editor/icons/icon_member_theme.svg | |
| parent | d0628180aef4987d24f91329e4c3378b5a037a34 (diff) | |
Allow mixed tabs and spaces when indentation does not depend on tab size
(hopefully) Closes #30937, fixes #32612
Diffstat (limited to 'editor/icons/icon_member_theme.svg')
0 files changed, 0 insertions, 0 deletions