Update .editorconfig

Co-authored-by: Javier Neira <[email protected]>
develop7 · Oct 11, 2020 · 8421af0 · 8421af0
1 parent 11f7435
commit 8421af0
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/.editorconfig b/.editorconfig
@@ -14,5 +14,4 @@ insert_final_newline = true
 [*.{hs,lhs}]
 indent_style = space
 indent_size = 4
-insert_final_newline = true
 max_line_length = 80