From 3f83c6384b46e2a451809f2fe6e691327d671491 Mon Sep 17 00:00:00 2001
From: KEXIN CHEN <113996265+KexinChen1999@users.noreply.github.com>
Date: Sat, 4 May 2024 16:49:32 +0200
Subject: [PATCH] Rename index.md to documentation.md

Change the file name to documentation.md
---
 docs/src/{index.md => documentation.md} | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 rename docs/src/{index.md => documentation.md} (100%)

diff --git a/docs/src/index.md b/docs/src/documentation.md
similarity index 100%
rename from docs/src/index.md
rename to docs/src/documentation.md