2 Commits

Author	SHA1	Message	Date
Cyrus Goh	d9fd4d2ca9	docs: Docs theme bump, Algolia DocSearch (#7164) ... * bump docs theme to 1.0.171 * Fix typo, chinese character in URL * update dead doc links * bump docs theme to 1.0.172 * [favicons] add favicons Co-authored-by: vms <vince19972@gmail.com> Co-authored-by: Federico Kunze <31522760+fedekunze@users.noreply.github.com>	2020-08-25 20:10:20 +00:00
gamarin2	b18bd06a36	Merge PR #5379: New docs V1 (merge master-docs to master)	2019-12-10 09:29:46 -05:00