Merge pull request #160 from urbit/pki-redirect
Fix bad redirect for /docs/pki
commit2cea8a102f518ab993a715c0dd9806c931c03cb8
authorMorgan Sutherland <msutherl@users.noreply.github.com>
dateTue 30 Jul 2019, 14:22 (7 years ago)
parent6607184249f6dc
static/_redirects+1−1
@@ -4,5 +4,5 @@
44/landscape /docs/concepts/contributing/
55/docs/getting-started/using-a-star /docs/getting-started/operating-a-star/
66/docs/bridge /docs/getting-started/azimuth/
7−/docs/pki /docs/concepts/arvo-vs-azimuth/
7+/docs/pki /docs/concepts/azimuth/
88/docs/arvo/internals/ /docs/learn/arvo/