diff --git a/.editorconfig b/.editorconfig new file mode 100644 index 00000000..355c6bf4 --- /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