Add mizuRoute external

(Copied from previous addition from @ekluzek)
MiCurry · Nov 12, 2020 · 5f26ef8 · 5f26ef8
1 parent 1b52ad9
commit 5f26ef8
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/Externals.cfg b/Externals.cfg
@@ -26,6 +26,13 @@ repo_url = https://github.com/ESCOMP/MOSART
 tag = mosart1_0_38
 required = True
 
+[mizuRoute]
+local_path = components/mizuRoute
+protocol = git
+repo_url = https://github.com/nmizukami/mizuRoute
+hash = 34723c2
+required = True
+
 [cdeps]
 hash = 45b7a85
 protocol = git