diff options
| -rw-r--r-- | .editorconfig | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/.editorconfig b/.editorconfig index ac902ecec5..c0b80fdf47 100644 --- a/.editorconfig +++ b/.editorconfig @@ -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 |