Submodule for the unification algo
This commit is contained in:
parent
5a7fb3a15e
commit
6ea2e4f96c
|
|
@ -0,0 +1,3 @@
|
|||
[submodule "mps-unification"]
|
||||
path = solutions/jetbrains.mps.unification/imports/mps-unification
|
||||
url = git@github.com:fisakov/mps-unification.git
|
||||
|
|
@ -0,0 +1 @@
|
|||
Subproject commit 64df74ef73eb997331c57c4389141479ffe84cdf
|
||||
Loading…
Reference in New Issue