diff --git a/.editorconfig b/.editorconfig index 85852edb21..86168bd5ef 100644 --- 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