Jesse Braham 1a23f381d3 Convert the VS Code workspace file into a standard settings file (#830) ... * Convert the VS Code workspace file into a standard settings file * Add a VS Code extensions file to suggest useful extensions		2023-10-03 06:33:43 -07:00
..
extensions.json	Convert the VS Code workspace file into a standard settings file (#830)	2023-10-03 06:33:43 -07:00
settings.json	Convert the VS Code workspace file into a standard settings file (#830)	2023-10-03 06:33:43 -07:00