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