From ae579f83b5ecc587e3760c0b35bebae0f438e63d Mon Sep 17 00:00:00 2001 From: Jef Roosens Date: Thu, 27 Jan 2022 22:39:03 +0100 Subject: [PATCH] Added editorconfig file [CI SKIP] --- .editorconfig | 10 ++++++++++ 1 file changed, 10 insertions(+) create mode 100644 .editorconfig diff --git a/.editorconfig b/.editorconfig new file mode 100644 index 0000000..355c6bf --- /dev/null +++ b/.editorconfig @@ -0,0 +1,10 @@ +# top-most EditorConfig file +root = true + +# Unix-style newlines with a newline ending every file +[*] +end_of_line = lf +insert_final_newline = true + +[*.v] +indent_style = space