diff --git a/.gitmodules b/.gitmodules index 8bf942c..c4c9283 100644 --- a/.gitmodules +++ b/.gitmodules @@ -1,3 +1,4 @@ [submodule "externals/WALA"] path = externals/WALA url = https://git.logicalhacking.com/DASCA/WALA.git + branch = master