From 763cef4a20954711476f21ae2bf83477e93f5fae Mon Sep 17 00:00:00 2001
From: Johannes Mey <johannes.mey@tu-dresden.de>
Date: Mon, 19 Sep 2022 09:02:50 +0200
Subject: [PATCH] add editorconfig

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

diff --git a/.editorconfig b/.editorconfig
new file mode 100644
index 0000000..0ad1085
--- /dev/null
+++ b/.editorconfig
@@ -0,0 +1,16 @@
+root = true
+
+[*]
+charset = utf-8
+end_of_line = lf
+indent_size = 4
+indent_style = space
+insert_final_newline = true
+max_line_length = 120
+tab_width = 4
+trim_trailing_whitespace = true
+
+[{*.jadd,*.java,*.jrag}]
+indent_size = 2
+tab_width = 2
+ij_continuation_indent_size = 4
-- 
GitLab