diff options
| author | Evan Read <eread@gitlab.com> | 2022-08-02 02:02:02 +0300 |
|---|---|---|
| committer | Evan Read <eread@gitlab.com> | 2022-08-30 03:22:16 +0300 |
| commit | 8451aa75732c7a4def64f39f7ab194d21e9aaddf (patch) | |
| tree | 27220ed47a61101b7753268f84b3ada27453dcb6 /.editorconfig | |
| parent | 18121b714288fec6b9cd7a28ffae3bce7a2e4222 (diff) | |
Add check for identical duplicate entries in global navigationeread/add-duplicate-nav-entry-check
Diffstat (limited to '.editorconfig')
| -rw-r--r-- | .editorconfig | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/.editorconfig b/.editorconfig index 0f178672..0a5e6323 100644 --- a/.editorconfig +++ b/.editorconfig @@ -7,3 +7,6 @@ indent_size = 2 indent_style = space insert_final_newline = true trim_trailing_whitespace = true + +[Makefile] +indent_style = tab |