Nomen est omen - modelchecker dependency repo will be merged upstream

10734b18 · Thanassis Tsiodras · 7902b40c · 10734b18 · 84968d20 · 84968d20
Commit 10734b18 authored Feb 21, 2017 by Thanassis Tsiodras
Hide whitespace changes
Inline Side-by-side

Showing with 0 additions and 4 deletions

.gitmodules .gitmodules +0 -3

properties properties +0 -1

No files found.
--- 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
--- a/properties @ 84968d20
+++ b/properties @ 84968d20
-Subproject commit 84968d20b828d4e7b69758ad9ab07ccb38dc1f85