Mike McQuaid 3e355a3089

Improve VSCode extensions/settings ...

- Use more modern and more useful extensions
- Use the Ruby language server as not doing so is deprecated

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

..

extensions.json

Improve VSCode extensions/settings

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

settings.json

Improve VSCode extensions/settings

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