11 lines
225 B
JSON
11 lines
225 B
JSON
{
|
|
"name": "SAFE",
|
|
"dockerFile": "Dockerfile",
|
|
"appPort": [8080, 8085],
|
|
"extensions": [
|
|
"ionide.ionide-fsharp",
|
|
"ms-vscode.csharp",
|
|
"editorconfig.editorconfig",
|
|
"msjsdiag.debugger-for-chrome"
|
|
]
|
|
} |