diff --git a/.gitmodules b/.gitmodules index 924ca4e..023e086 100644 --- a/.gitmodules +++ b/.gitmodules @@ -1,3 +1,3 @@ -[submodule "Polygeist"] - path = Polygeist +[submodule "polygeist"] + path = polygeist url = git@github.com:hanchenye/Polygeist.git diff --git a/Polygeist b/polygeist similarity index 100% rename from Polygeist rename to polygeist