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