add trim_trailing_whitespace to .editorconfig

pull/3862/head
Delyan Angelov 2020-02-27 13:01:53 +02:00 committed by GitHub
parent aba0bb5e01
commit 1c915c3bd1
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 0 deletions

View File

@ -11,6 +11,7 @@ insert_final_newline = true
[*.v] [*.v]
indent_style = tab indent_style = tab
indent_size = 4 indent_size = 4
trim_trailing_whitespace = true
[Makefile] [Makefile]
indent_style = tab indent_style = tab