Benjamin Staneck 9ebd2f96ad Add VSCode extension recommendations ...

To make it easier for new contributors, suggest extensions for the tools we use

2023-05-07 10:20:08 -07:00

..

extensions.json

Add VSCode extension recommendations

2023-05-07 10:20:08 -07:00

settings.json

…