From 9b4827509c1120c5e63b71644d12d0aedff0f492 Mon Sep 17 00:00:00 2001 From: daflyinbed <1677759063@qq.com> Date: Sat, 4 May 2024 17:14:44 +0800 Subject: [PATCH] fix: remove charInset --- .gitmodules | 4 ---- extensions/CharInset | 1 - 2 files changed, 5 deletions(-) delete mode 160000 extensions/CharInset diff --git a/.gitmodules b/.gitmodules index 9deeb295c39a9..53a482fe09f19 100644 --- a/.gitmodules +++ b/.gitmodules @@ -275,10 +275,6 @@ path = extensions/DeleteUserPages url = https://gerrit.wikimedia.org/r/mediawiki/extensions/DeleteUserPages branch = REL1_39 -[submodule "extensions/CharInset"] - path = extensions/CharInset - url = https://gerrit.wikimedia.org/r/mediawiki/extensions/CharInsert - branch = REL1_39 [submodule "extensions/CharInsert"] path = extensions/CharInsert url = https://gerrit.wikimedia.org/r/mediawiki/extensions/CharInsert diff --git a/extensions/CharInset b/extensions/CharInset deleted file mode 160000 index 2dcbc6d08d00e..0000000000000 --- a/extensions/CharInset +++ /dev/null @@ -1 +0,0 @@ -Subproject commit 2dcbc6d08d00e48c34f3b7019530f06e4cd4b1e5