From 4b4d7726f487ac5dc6e106f84e25bf5366e38d90 Mon Sep 17 00:00:00 2001
From: Fawzi Mohamed <fawzi.mohamed@fhi-berlin.mpg.de>
Date: Thu, 13 Sep 2018 10:44:13 +0200
Subject: [PATCH] adding container manager as submodule

---
 .gitmodules       | 3 +++
 container-manager | 1 +
 2 files changed, 4 insertions(+)
 create mode 160000 container-manager

diff --git a/.gitmodules b/.gitmodules
index d1da1905..459eeb1d 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -235,3 +235,6 @@
 [submodule "parsers/tinker"]
 	path = parsers/tinker
 	url = ../parser-tinker.git
+[submodule "container-manager"]
+	path = container-manager
+	url = ../container-manager
diff --git a/container-manager b/container-manager
new file mode 160000
index 00000000..f05753cb
--- /dev/null
+++ b/container-manager
@@ -0,0 +1 @@
+Subproject commit f05753cb1e4242705bdc92e42b2188b21db84230
-- 
GitLab