From 44d049623823b323c8e8af3c2f47ad4745cedebf Mon Sep 17 00:00:00 2001
From: w-e-w <40751091+w-e-w@users.noreply.github.com>
Date: Tue, 22 Aug 2023 14:14:28 +0900
Subject: [PATCH] Updated Developing extensions (markdown)

---
 Developing-extensions.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Developing-extensions.md b/Developing-extensions.md
index 1d49dcd..a09df67 100644
--- a/Developing-extensions.md
+++ b/Developing-extensions.md
@@ -1,4 +1,4 @@
-[Adding to Index](#Official-Extension-Index)
+[Adding to Index](#official-extension-index)
 
 An extension is just a subdirectory in the `extensions` directory.