2022-07-26 12:04:37 +02:00
|
|
|
{
|
2023-01-17 22:29:15 +01:00
|
|
|
"editor.tabSize": 2,
|
|
|
|
|
"editor.insertSpaces": false,
|
2022-07-26 12:04:37 +02:00
|
|
|
|
2023-01-17 22:29:15 +01:00
|
|
|
"files.insertFinalNewline": true,
|
|
|
|
|
"files.trimFinalNewlines": true,
|
|
|
|
|
"files.trimTrailingWhitespace": true
|
2022-07-26 12:04:37 +02:00
|
|
|
}
|
