diff --git a/.gitmodules b/.gitmodules index 4791c667..c91d1c46 100644 --- a/.gitmodules +++ b/.gitmodules @@ -1,3 +1,3 @@ -[submodule "lib/Plang"] - path = lib/Plang +[submodule "Plang"] + path = Plang url = https://github.com/pragma-/Plang diff --git a/lib/Plang b/Plang similarity index 100% rename from lib/Plang rename to Plang