Check-in PhiML submodule

tum-pbs · Aug 30, 2023 · 66f8e5e · 66f8e5e
1 parent 18e266c
commit 66f8e5e
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 0 deletions.
diff --git a/.gitmodules b/.gitmodules
@@ -0,0 +1,3 @@
+[submodule "PhiML"]
+	path = PhiML
+	url = https://github.com/tum-pbs/PhiML.git
diff --git a/PhiML b/PhiML