update path to dockerfile (#526)

kmarker1101 · web-flow · commit 12e6c2397955 · 2024-08-11T13:13:35.000-04:00
diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json
@@ -1,6 +1,6 @@
 {
     "name": "ocaml",
-    "dockerFile": "../.travis/Dockerfile",
+    "dockerFile": "../.github/Dockerfile",
     "extensions": [
         "dawhite.mustache",
         "maelvalais.dune",
@@ -9,4 +9,4 @@
         "editorconfig.editorconfig",
         "ms-azuretools.vscode-docker"
     ]
-}
+}

Original file line number	Diff line number	Diff line change
`@@ -1,6 +1,6 @@`
`1`	`1`	`{`
`2`	`2`	`"name": "ocaml",`
`3`		`- "dockerFile": "../.travis/Dockerfile",`
	`3`	`+ "dockerFile": "../.github/Dockerfile",`
`4`	`4`	`"extensions": [`
`5`	`5`	`"dawhite.mustache",`
`6`	`6`	`"maelvalais.dune",`
`@@ -9,4 +9,4 @@`
`9`	`9`	`"editorconfig.editorconfig",`
`10`	`10`	`"ms-azuretools.vscode-docker"`
`11`	`11`	`]`
`12`		`-}`
	`12`	`+}`