From 5598bbdff99608c059e05518aa5286765d7abe3b Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Domenic=20W=C3=BCthrich?= <domenicw@student.ethz.ch>
Date: Wed, 10 Nov 2021 11:07:11 +0100
Subject: [PATCH] [repo] Add editorconfig file

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

diff --git a/.editorconfig b/.editorconfig
new file mode 100644
index 00000000..98790301
--- /dev/null
+++ b/.editorconfig
@@ -0,0 +1,22 @@
+# EditorConfig (http://editorconfig.org/)
+root = true
+
+# Default Settings
+[*]
+charset = utf-8
+end_of_line = lf
+tab_width = 2
+indent_size = 2
+indent_style = space
+max_line_length = 80
+trim_trailing_whitespace = true
+insert_final_newline = true
+
+[*.{sv,svh,v,vg}]
+max_line_length = 100
+
+[{Makefile,Makefile.*,*.mk,*.mk.*}]
+indent_style = tab
+
+[*.py]
+indent_size = 4