Merge pull request #2675 from msrd0/no-personal-prefs

Remove personal preferences regarding editor settings
This commit is contained in:
Dario Nieuwenhuis 2024-03-09 11:16:03 +00:00 committed by GitHub
commit 1b4d3e1e29
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -1,5 +1,4 @@
{
"editor.formatOnSave": true,
"[toml]": {
"editor.formatOnSave": false
},