From 11f74359073278ad0050fe0c6693205fd5bf489f Mon Sep 17 00:00:00 2001
From: Pasqualino 'Titto' Assini <tittoassini@gmail.com>
Date: Sun, 11 Oct 2020 20:25:05 +0200
Subject: [PATCH] Update .editorconfig

Co-authored-by: Javier Neira  <atreyu.bbb@gmail.com>
---
 .editorconfig | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.editorconfig b/.editorconfig
index 653302eab..85852edb2 100644
--- a/.editorconfig
+++ b/.editorconfig
@@ -9,6 +9,7 @@ indent_style = tab
 [*]
 end_of_line = LF
 trim_trailing_whitespace = true
+insert_final_newline = true
 
 [*.{hs,lhs}]
 indent_style = space