David Wengier e7b97e0dc3 Delete old vs code extension bits		2023-11-04 18:03:48 +11:00
..
extensions.json	ms-vscode.csharp to ms-dotnettools.csharp	2020-03-10 14:02:30 -07:00
launch.json	Delete old vs code extension bits	2023-11-04 18:03:48 +11:00
settings.json	Add utf8bom to the repo vscode settings	2023-10-26 10:49:25 -07:00
tasks.json	Delete old vs code extension bits	2023-11-04 18:03:48 +11:00