kaspar/RIOT
1
0
Fork 0
mirror of https://github.com/RIOT-OS/RIOT.git synced 2025-12-16 10:03:50 +01:00
Code Releases Activity

.editorconfig: remove wrong key tab_size

Browse Source 
according to https://editorconfig.org/#supported-properties it should be `tab_width`, but it anyhow defaults to the value of `indent_size`
This commit is contained in:
Mikolai Gütschow 2025-10-30 09:49:48 +01:00
parent 34ec109bb9
commit 7b24c75152
No known key found for this signature in database
GPG Key ID: 943E2F37AA659AD5
1 changed files with 0 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
.editorconfig
View File

@ -11,7 +11,6 @@ insert_final_newline = true
[{Makefile*,*.mk}] [{Makefile*,*.mk}]
indent_style = tab indent_style = tab
indent_size = 2 indent_size = 2
tab_size = 2
trim_trailing_whitespace = true trim_trailing_whitespace = true
insert_final_newline = true insert_final_newline = true