diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2018-02-17 09:31:13 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-02-17 09:31:13 +0100 |
| commit | 13e9ee50fecaea1f1b61541345964419335adb6b (patch) | |
| tree | d7923b4529b40397e10faa729527851740e58f0c | |
| parent | 7c7eda876aaf7a24e789285b9c7b8fd2f3fd41fb (diff) | |
| parent | 6861886f706af841442d599570d5f163cf0688ce (diff) | |
Merge pull request #16759 from PJB3005/18-02-16-final-newline-editorconfig
Enforce insert_final_newline in the editorconfig.
| -rw-r--r-- | .editorconfig | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.editorconfig b/.editorconfig index ead5e14ca9..e51d0d4c60 100644 --- a/.editorconfig +++ b/.editorconfig @@ -4,6 +4,7 @@ root = true charset = utf-8 end_of_line = lf indent_style = tab +insert_final_newline = true [*.{cpp,hpp,c,h,mm}] trim_trailing_whitespace = true |