Merge #8894 from janlazo/editorconfig-makefile

This commit is contained in:
Justin M. Keyes 2018-08-24 09:12:08 +02:00 committed by GitHub
commit e7d020e08f
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 103 additions and 107 deletions

View File

@ -7,10 +7,6 @@ end_of_line = lf
insert_final_newline = true
charset = utf_8
[runtime/doc/*.txt]
[{Makefile,**/Makefile,runtime/doc/*.txt}]
indent_style = tab
indent_size = 8
[Makefile]
indent_style = tab
tab_width = 4