add editorconfig

This commit is contained in:
Jakob Gillich 2023-04-15 19:02:05 +00:00
parent 87df36946a
commit 1609a702c6
No known key found for this signature in database
GPG key ID: FD8BF52DB8452C91
2 changed files with 11 additions and 2 deletions

View file

@ -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"
}
}

8
.editorconfig Normal file
View file

@ -0,0 +1,8 @@
root = true
[*]
charset = utf-8
end_of_line = lf
insert_final_newline = true
trim_trailing_whitespace = true