diff options
Diffstat (limited to 'src/tools/clippy/.editorconfig')
| -rw-r--r-- | src/tools/clippy/.editorconfig | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/tools/clippy/.editorconfig b/src/tools/clippy/.editorconfig index ec6e107d5..bc7642bf8 100644 --- a/src/tools/clippy/.editorconfig +++ b/src/tools/clippy/.editorconfig @@ -11,6 +11,7 @@ trim_trailing_whitespace = true insert_final_newline = true indent_style = space indent_size = 4 +max_line_length = 120 [*.md] # double whitespace at end of line |