From ffbb927bafe748d0d8ce9ab69b0760487a997d56 Mon Sep 17 00:00:00 2001
From: Matthias Mohr <m.mohr@uni-muenster.de>
Date: Mon, 20 Dec 2021 15:05:29 +0100
Subject: [PATCH] Add .editorconfig

---
 .editorconfig | 9 +++++++++
 1 file changed, 9 insertions(+)
 create mode 100644 .editorconfig

diff --git a/.editorconfig b/.editorconfig
new file mode 100644
index 00000000..1ef045c7
--- /dev/null
+++ b/.editorconfig
@@ -0,0 +1,9 @@
+# EditorConfig is awesome: https://EditorConfig.org
+
+[*.json]
+charset = utf-8
+end_of_line = crlf
+indent_style = spaces
+indent_size = 4
+insert_final_newline = true
+trim_trailing_whitespace = true