From e9215804bc8d5c06d1b969776eb589c22a9ea7fa Mon Sep 17 00:00:00 2001 From: Wouter Horlings Date: Mon, 12 Oct 2020 14:14:49 +0200 Subject: [PATCH] updated submodule --- .gitmodules | 2 +- common | 1 - include | 1 + 3 files changed, 2 insertions(+), 2 deletions(-) delete mode 160000 common create mode 160000 include 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