Merged logic into master
authorDaniel Kirschten <daniel.kirschten@gmx.de>
Mon, 20 May 2019 17:28:26 +0000 (19:28 +0200)
committerDaniel Kirschten <daniel.kirschten@gmx.de>
Mon, 20 May 2019 17:29:35 +0000 (19:29 +0200)
1  2 
.gitmodules

diff --cc .gitmodules
index 7ab2388,0000000..a128354
mode 100644,000000..100644
--- /dev/null
@@@ -1,12 -1,0 +1,8 @@@
- [submodule "logic"]
-       path = logic
-       url = <address of this repo>
-       branch = logic
 +[submodule "logicui"]
 +      path = logicui
 +      url = <address of this repo>
 +      branch = logicui
 +[submodule "SampleERCP"]
 +      path = SampleERCP
 +      url = <address of this repo>
 +      branch = SampleERCP