Removed submodules.

diff --git a/.gitmodules b/.gitmodules
deleted file mode 100644 (file)
index 44b064b..0000000
--- a/.gitmodules
+++ /dev/null
@@ -1,6 +0,0 @@
-[submodule "usr/green-marl"]
-       path = usr/green-marl
-       url = ssh://vcs-user@code.systems.ethz.ch:8006/diffusion/GM/green-marl.git
-[submodule "lib/shoal"]
-       path = lib/shoal
-       url = ssh://vcs-user@code.systems.ethz.ch:8006/diffusion/LIBSHL/shoal-library.git

diff --git a/lib/shoal b/lib/shoal
deleted file mode 160000 (submodule)
index 5dc0ade..0000000
--- a/lib/shoal
+++ /dev/null
@@ -1 +0,0 @@
-Subproject commit 5dc0ade243b0236d629b802d99216cbe9b09be1d

diff --git a/usr/green-marl b/usr/green-marl
deleted file mode 160000 (submodule)
index acecd53..0000000
--- a/usr/green-marl
+++ /dev/null
@@ -1 +0,0 @@
-Subproject commit acecd53f5380828e8169f6e3a2722e49dd25e24e