Undo devcontainer change

kananb · kananb · commit 4a3472bc8edb · 2023-06-06T15:28:59.000-07:00
diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json
@@ -3,7 +3,7 @@
 {
 	"name": "Ubuntu",
 	"build": {
-		"dockerfile": "Dockerfile"
+		"dockerfile": "Dockerfile",
 	},
 	// Set *default* container specific settings.json values on container create.
 	"settings": {

Original file line number	Diff line number	Diff line change
`@@ -3,7 +3,7 @@`
`3`	`3`	`{`
`4`	`4`	`"name": "Ubuntu",`
`5`	`5`	`"build": {`
`6`		`- "dockerfile": "Dockerfile"`
	`6`	`+ "dockerfile": "Dockerfile",`
`7`	`7`	`},`
`8`	`8`	`// Set default container specific settings.json values on container create.`
`9`	`9`	`"settings": {`