wehub-resource-sync
11 lines
248 B
JSON
11 lines
248 B
JSON
{
|
|
/*
|
|
Recommended VS Code extensions for the LEAN engine
|
|
*/
|
|
"recommendations": [
|
|
"ms-dotnettools.csharp",
|
|
"ms-dotnettools.csdevkit",
|
|
"ms-vscode-remote.remote-containers",
|
|
"ms-python.python"
|
|
]
|
|
} |