summaryrefslogtreecommitdiff
path: root/thirdparty/misc
diff options
context:
space:
mode:
authorRĂ©mi Verschelde <rverschelde@gmail.com>2019-07-27 10:48:31 +0200
committerGitHub <noreply@github.com>2019-07-27 10:48:31 +0200
commit1107799de5d487f285d8a743357fd6928351a06d (patch)
tree5cfdcf7ac3a53bde573e6e272d9e3f3460745ac7 /thirdparty/misc
parent0a190ae3aaac83087bef2eb90423614656c947df (diff)
parentf12f3cf726c6e04b9beaaad4ae97b2946b9aecb8 (diff)
Merge pull request #30849 from bojidar-bg/7898-mixed-indentation
Disallow using of both tabs and spaces for indentation in the same file
Diffstat (limited to 'thirdparty/misc')
0 files changed, 0 insertions, 0 deletions