diff --git a/.gitmodules b/.gitmodules index 652871f..96104c6 100644 --- a/.gitmodules +++ b/.gitmodules @@ -1,6 +1,7 @@ [submodule "BAST"] path = extern/BAST url = https://github.com/CLEARSY/BAST.git + branch = main [submodule "tinyxml2"] path = extern/tinyxml2 url = https://github.com/leethomason/tinyxml2.git diff --git a/extern/BAST b/extern/BAST index bcd15ad..a8fb8f4 160000 --- a/extern/BAST +++ b/extern/BAST @@ -1 +1 @@ -Subproject commit bcd15ad67e4b14a31cf48464c8b93fa0fb902ee2 +Subproject commit a8fb8f4e6122318ef6682721098f2fd3b4416e54