From 7be6657ba576583137293fb03849f1859d463057 Mon Sep 17 00:00:00 2001 From: woclass Date: Wed, 20 Oct 2021 21:40:58 +0800 Subject: [PATCH] [doc] cherry-pick index.md rm in https://github.com/JuliaLang/julia/pull/41370 file history: https://github.com/JuliaLang/julia/commits/0de41e27703768cfb8036db680d54cdf8175ba9f/stdlib/SHA/docs/src/index.md --- {stdlib/SHA/docs => docs}/src/index.md | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename {stdlib/SHA/docs => docs}/src/index.md (100%) diff --git a/stdlib/SHA/docs/src/index.md b/docs/src/index.md similarity index 100% rename from stdlib/SHA/docs/src/index.md rename to docs/src/index.md