diff options
author | RĂ©mi Verschelde <rverschelde@gmail.com> | 2019-10-25 23:16:04 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-10-25 23:16:04 +0200 |
commit | c43c3747cfbb21385c09e887d93f6808f9a5bc6d (patch) | |
tree | 829fb8d9af21beb6f92270e7913eb25bef07e6d7 /thirdparty/pvrtccompressor/LICENSE.TXT | |
parent | 6a74113150ab565ba11900417e61344794548a12 (diff) | |
parent | afbde3314aee106c835249b2f56c14d68f782899 (diff) |
Merge pull request #32808 from bojidar-bg/30937-less-strict-mixed-spacing
Allow mixed tabs and spaces when indentation does not depend on tab size
Diffstat (limited to 'thirdparty/pvrtccompressor/LICENSE.TXT')
0 files changed, 0 insertions, 0 deletions