diff options
| -rw-r--r-- | .editorconfig | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/.editorconfig b/.editorconfig index dc5519a7..e927faee 100644 --- a/.editorconfig +++ b/.editorconfig | |||
| @@ -10,6 +10,10 @@ charset = utf-8 | |||
| 10 | indent_style = space | 10 | indent_style = space |
| 11 | indent_size = 3 | 11 | indent_size = 3 |
| 12 | 12 | ||
| 13 | [*.tl] | ||
| 14 | indent_style = space | ||
| 15 | indent_size = 3 | ||
| 16 | |||
| 13 | [Makefile] | 17 | [Makefile] |
| 14 | indent_style = tab | 18 | indent_style = tab |
| 15 | 19 | ||