mirror of https://github.com/facebook/rocksdb.git
2e03abf9df
Summary: Update branch name from master to main in docs/* Pull Request resolved: https://github.com/facebook/rocksdb/pull/8743 Reviewed By: ltamasi Differential Revision: D30712263 Pulled By: akankshamahajan15 fbshipit-source-id: a1a5e20d95210e792705030f98dd2b38ca542eb5 |
||
---|---|---|
.. | ||
content | ||
nav | ||
plugins | ||
ui | ||
blog_pagination.html | ||
doc.html | ||
doc_paging.html | ||
footer.html | ||
head.html | ||
header.html | ||
hero.html | ||
home_header.html | ||
katex_import.html | ||
katex_render.html | ||
nav.html | ||
nav_search.html | ||
post.html | ||
powered_by.html | ||
social_plugins.html |