From bc528b959a43bfd23aa0f6b0b25050bcf0712576 Mon Sep 17 00:00:00 2001 From: Hanchen Ye Date: Thu, 30 Sep 2021 12:20:01 -0500 Subject: [PATCH] Rename Polygeist to polygeist --- .gitmodules | 4 ++-- Polygeist => polygeist | 0 2 files changed, 2 insertions(+), 2 deletions(-) rename Polygeist => polygeist (100%) 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