diff options
| author | Dario Nieuwenhuis <[email protected]> | 2024-03-09 11:16:03 +0000 |
|---|---|---|
| committer | GitHub <[email protected]> | 2024-03-09 11:16:03 +0000 |
| commit | 1b4d3e1e295a2325d9ceec8957db365f3155bf12 (patch) | |
| tree | 1963618f10cb36d84ec5ec0433fdfdb53b907fb3 | |
| parent | 1366c278b33d5d054ffc0628d7485484ffee192f (diff) | |
| parent | 842f90e3248889ecf340352fbedd7fbcb66812e4 (diff) | |
Merge pull request #2675 from msrd0/no-personal-prefs
Remove personal preferences regarding editor settings
| -rw-r--r-- | .vscode/settings.json | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/.vscode/settings.json b/.vscode/settings.json index 46d26562c..0c195a13b 100644 --- a/.vscode/settings.json +++ b/.vscode/settings.json | |||
| @@ -1,5 +1,4 @@ | |||
| 1 | { | 1 | { |
| 2 | "editor.formatOnSave": true, | ||
| 3 | "[toml]": { | 2 | "[toml]": { |
| 4 | "editor.formatOnSave": false | 3 | "editor.formatOnSave": false |
| 5 | }, | 4 | }, |