Update redirects.json

Amanda Butler · web-flow · commit 4835bd3bceea · 2019-07-31T13:04:52.000-05:00
Add redirects of pages that have changed since 5.12.
diff --git a/redirects.json b/redirects.json
@@ -1,3 +1,9 @@
 {
+  "reference/mesh-tech.html" : "/reference/6LoWPAN-ND-tech.html"
+  "tools/windows.html" : "tools/installation-and-setup.html"
+  "tools/macos.html" : "tools/installation-and-setup.html"
+  "tools/linux.html" : "tools/manual-installation.html"
   "tools/after-installation-configuring-mbed-cli.html" : "tools/manual-installation.html"
+  "tools/reference-working-with-mbed-config.html" : "tools/configuration-options.html"
+  "tutorials/mbed-usb-wav-audio-player.html" : "tutorials/usb-wav-audio-player.html"
 }

Original file line number	Diff line number	Diff line change
`@@ -1,3 +1,9 @@`
`1`	`1`	`{`
	`2`	`+ "reference/mesh-tech.html" : "/reference/6LoWPAN-ND-tech.html"`
	`3`	`+ "tools/windows.html" : "tools/installation-and-setup.html"`
	`4`	`+ "tools/macos.html" : "tools/installation-and-setup.html"`
	`5`	`+ "tools/linux.html" : "tools/manual-installation.html"`
`2`	`6`	`"tools/after-installation-configuring-mbed-cli.html" : "tools/manual-installation.html"`
	`7`	`+ "tools/reference-working-with-mbed-config.html" : "tools/configuration-options.html"`
	`8`	`+ "tutorials/mbed-usb-wav-audio-player.html" : "tutorials/usb-wav-audio-player.html"`
`3`	`9`	`}`