diff --git a/.gitmodules b/.gitmodules index fa289319a0680b730794cb4881c1597520b319de..f33746c81df4d7c979953e244475f32e6778e922 100644 --- a/.gitmodules +++ b/.gitmodules @@ -1,3 +1,4 @@ [submodule "infcode-golang"] path = infcode-golang url = https://git.gvk.idi.ntnu.no/Nevar/infcode-golang.git + branch = main