Update platform specification URLs in configuration files

per1234 · per1234 · commit 18a9e3da59c7 · 2020-11-02T07:04:19.000-08:00
The Google Code URL in boards.txt is very outdated. The URL in platform.txt is to a more recent home of the content,
which has been replaced with a link to the new location, but while I'm updating boards.txt, I might as well point both
URLs to the real page.
diff --git a/boards.txt b/boards.txt
@@ -1,4 +1,4 @@
-# See: http://code.google.com/p/arduino/wiki/Platforms
+# See: https://arduino.github.io/arduino-cli/latest/platform-specification/
 
 menu.cpu=Processor
 
diff --git a/platform.txt b/platform.txt
@@ -3,7 +3,7 @@
 # ------------------------------
 #
 # For more info:
-# https://github.com/arduino/Arduino/wiki/Arduino-IDE-1.5-3rd-party-Hardware-specification
+# https://arduino.github.io/arduino-cli/latest/platform-specification/
 
 name=Arduino AVR Boards
 version=1.8.3

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-# See: http://code.google.com/p/arduino/wiki/Platforms`
	`1`	`+# See: https://arduino.github.io/arduino-cli/latest/platform-specification/`
`2`	`2`
`3`	`3`	`menu.cpu=Processor`
`4`	`4`
Original file line number	Diff line number	Diff line change
`@@ -3,7 +3,7 @@`
`3`	`3`	`# ------------------------------`
`4`	`4`	`#`
`5`	`5`	`# For more info:`
`6`		`-# https://github.com/arduino/Arduino/wiki/Arduino-IDE-1.5-3rd-party-Hardware-specification`
	`6`	`+# https://arduino.github.io/arduino-cli/latest/platform-specification/`
`7`	`7`
`8`	`8`	`name=Arduino AVR Boards`
`9`	`9`	`version=1.8.3`