From 1609a702c657d53e8481ee4c7be8a997ef00d0a8 Mon Sep 17 00:00:00 2001
From: Jakob Gillich <jakob@gillich.me>
Date: Sat, 15 Apr 2023 19:02:05 +0000
Subject: [PATCH] add editorconfig

---
 .devcontainer/devcontainer.json | 5 +++--
 .editorconfig                   | 8 ++++++++
 2 files changed, 11 insertions(+), 2 deletions(-)
 create mode 100644 .editorconfig

diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json
index 6de0e4d8e..f7ecc3074 100644
--- a/.devcontainer/devcontainer.json
+++ b/.devcontainer/devcontainer.json
@@ -29,7 +29,8 @@
 		"vscode": {
 			"extensions": [
 				"scalameta.metals",
-				"scala-lang.scala"
+				"scala-lang.scala",
+				"EditorConfig.EditorConfig"
 			]
 		}
 	}
@@ -39,4 +40,4 @@
 	// "customizations": {},
 	// Uncomment to connect as root instead. More info: https://aka.ms/dev-containers-non-root.
 	// "remoteUser": "root"
-}
\ No newline at end of file
+}
diff --git a/.editorconfig b/.editorconfig
new file mode 100644
index 000000000..c0404cb2c
--- /dev/null
+++ b/.editorconfig
@@ -0,0 +1,8 @@
+
+root = true
+
+[*]
+charset = utf-8
+end_of_line = lf
+insert_final_newline = true
+trim_trailing_whitespace = true