diff --git a/.github/htmldocs/index.html b/.github/htmldocs/index.html index 85484c6..3b0d9c3 100644 --- a/.github/htmldocs/index.html +++ b/.github/htmldocs/index.html @@ -59,8 +59,12 @@
+ 🐙 GitHub
+
+
📖 User Guide
+
📚 Docs |
📊 Benchmarks
@@ -69,8 +73,7 @@
🦀 Crates.io |
🔖 docs.rs
- 🐙 GitHub |
- 🌐 Gitea mirror
+