diff --git a/.gitmodules b/.gitmodules new file mode 100644 index 00000000..7c79c718 --- /dev/null +++ b/.gitmodules @@ -0,0 +1,3 @@ +[submodule "mps-unification"] + path = solutions/jetbrains.mps.unification/imports/mps-unification + url = git@github.com:fisakov/mps-unification.git diff --git a/solutions/jetbrains.mps.unification/imports/mps-unification b/solutions/jetbrains.mps.unification/imports/mps-unification new file mode 160000 index 00000000..64df74ef --- /dev/null +++ b/solutions/jetbrains.mps.unification/imports/mps-unification @@ -0,0 +1 @@ +Subproject commit 64df74ef73eb997331c57c4389141479ffe84cdf