Merge branch 'develop' into feature/db-redesign

This commit is contained in:
Jörn-Michael Miehe 2022-03-26 16:06:11 +00:00
commit 8daeb946f8

View file

@ -11,5 +11,6 @@
"editor.formatOnSave": true, "editor.formatOnSave": true,
"editor.codeActionsOnSave": { "editor.codeActionsOnSave": {
"source.organizeImports": true "source.organizeImports": true
} },
"git.closeDiffOnOperation": true
} }