WIP

2019-11-02 15:42:12 -05:00
commit 6f79cdf456
29 changed files with 8717 additions and 0 deletions
--- a/.devcontainer/devcontainer.json
+++ b/.devcontainer/devcontainer.json
@@ -0,0 +1,11 @@
+{
+	"name": "SAFE",
+	"dockerFile": "Dockerfile",
+	"appPort": [8080, 8085],
+	"extensions": [
+		"ionide.ionide-fsharp",
+        "ms-vscode.csharp",
+        "editorconfig.editorconfig",
+        "msjsdiag.debugger-for-chrome"
+	]
+}