[submodule "mps--unification"]
	path = solutions/jetbrains.mps.unification.tree/imports/mps-unification
	url = git@github.com:fisakov/mps-unification.git
