Qiming Teng b832ead744 Clean up redirects for 'docs/user-guide/...' entries ... This is the second PR for cleaning up old redirection entries that are more than 4 years old. The `docs/user-guide` directory was removed on in June, 2018. It should be okay to remove these entries since those old bookmarks are no longer useful anyway.		2023-02-23 11:32:43 +08:00
..
_index.md	…
scale-interactive.html	Remove an incorrect warning when using katacoda tutorials	2023-01-02 18:28:40 +11:00
scale-intro.html	Clean up redirects for 'docs/user-guide/...' entries	2023-02-23 11:32:43 +08:00