diff --git a/.gitmodules b/.gitmodules index c91d1c46..0e38d0ac 100644 --- a/.gitmodules +++ b/.gitmodules @@ -1,3 +1,3 @@ [submodule "Plang"] - path = Plang + path = lib/Plang url = https://github.com/pragma-/Plang