diff --git a/.gitmodules b/.gitmodules index 6964578..68d937b 100644 --- a/.gitmodules +++ b/.gitmodules @@ -1,3 +1,3 @@ [submodule "common"] - path = common + path = include url = ssh://git@git.ram.eemcs.utwente.nl:20022/horlingsw/mac.git diff --git a/common b/common deleted file mode 160000 index 9824d62..0000000 --- a/common +++ /dev/null @@ -1 +0,0 @@ -Subproject commit 9824d626fd1bf2cdc4d03c4109500629ffe16a20 diff --git a/include b/include new file mode 160000 index 0000000..696eebe --- /dev/null +++ b/include @@ -0,0 +1 @@ +Subproject commit 696eebe3534f7e5133f8c2c4fa1f9c84e0910997