docs: remove stale redirects (#17831)

Removes /platform redirects as well as any redirects whose source hasn't
been touched in over 6 months
pull/17659/head^2
Erick Friis 8 months ago committed by GitHub
parent f59ddcab74
commit a206d3cf69
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

File diff suppressed because it is too large Load Diff
Loading…
Cancel
Save