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