diff --git a/.gitmodules b/.gitmodules index b4f2123..b4d22ac 100644 --- a/.gitmodules +++ b/.gitmodules @@ -452,5 +452,5 @@ path = fakelib url = https://sys4.fr/gitea/mtcontrib/fakelib.git [submodule "lighting_monoids"] - path = lighting_monoids + path = lighting_monoid url = https://sys4.fr/gitea/mtcontrib/lighting_monoids.git diff --git a/lighting_monoids b/lighting_monoid similarity index 100% rename from lighting_monoids rename to lighting_monoid