From 10734b1859981b789bdd3b1a0a62799886464fcf Mon Sep 17 00:00:00 2001
From: Thanassis Tsiodras <ttsiodras@gmail.com>
Date: Tue, 21 Feb 2017 13:32:43 +0100
Subject: [PATCH] Nomen est omen - modelchecker dependency repo will be merged
 upstream

---
 .gitmodules | 3 ---
 properties  | 1 -
 2 files changed, 4 deletions(-)
 delete mode 160000 properties

diff --git a/.gitmodules b/.gitmodules
index 6504188..bd49cb6 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -13,9 +13,6 @@
 [submodule "pymsc"]
 	path = pymsc
 	url = https://gitrepos.estec.esa.int/taste/pymsc.git
-[submodule "properties"]
-	path = properties
-	url = https://gitrepos.estec.esa.int/taste/properties.git
 [submodule "orchestrator"]
 	path = orchestrator
 	url = https://gitrepos.estec.esa.int/taste/orchestrator.git
diff --git a/properties b/properties
deleted file mode 160000
index 84968d2..0000000
--- a/properties
+++ /dev/null
@@ -1 +0,0 @@
-Subproject commit 84968d20b828d4e7b69758ad9ab07ccb38dc1f85
-- 
GitLab