Tweak title of Docker setup

ErikSchierboom · ErikSchierboom · commit dd4edbc52032 · 2024-08-15T14:37:13.000+02:00
diff --git a/building/config.json b/building/config.json
@@ -714,7 +714,7 @@
     "uuid": "fb41198b-90ac-4148-afcc-f012418c6396",
     "slug": "tooling/docker",
     "path": "building/tooling/docker.md",
-    "title": "Tooling Docker Setup",
+    "title": "Docker Setup",
     "blurb": ""
   },
   {

Original file line number	Diff line number	Diff line change
`@@ -714,7 +714,7 @@`
`714`	`714`	`"uuid": "fb41198b-90ac-4148-afcc-f012418c6396",`
`715`	`715`	`"slug": "tooling/docker",`
`716`	`716`	`"path": "building/tooling/docker.md",`
`717`		`- "title": "Tooling Docker Setup",`
	`717`	`+ "title": "Docker Setup",`
`718`	`718`	`"blurb": ""`
`719`	`719`	`},`
`720`	`720`	`{`