From 6ea2e4f96cbf30cdba6fc67da1a53666e97c7ce3 Mon Sep 17 00:00:00 2001 From: Fedor Isakov Date: Thu, 3 Jul 2014 19:12:40 +0200 Subject: [PATCH] Submodule for the unification algo --- .gitmodules | 3 +++ solutions/jetbrains.mps.unification/imports/mps-unification | 1 + 2 files changed, 4 insertions(+) create mode 100644 .gitmodules create mode 160000 solutions/jetbrains.mps.unification/imports/mps-unification 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