Mike McQuaid 857fe1a1e3

vscode/settings: update shellcheck. ...

VSCode keeps trying to change this file so: let's let it.

2023-12-21 09:59:43 +00:00

..

extensions.json

Improve VSCode extensions/settings

2023-07-28 11:09:27 +01:00

settings.json

vscode/settings: update shellcheck.

2023-12-21 09:59:43 +00:00