From 7cd5ac3795f22fb5ff49a19228de9afa81cb08f1 Mon Sep 17 00:00:00 2001 From: Fedor Isakov Date: Sun, 13 Jul 2014 14:59:47 +0200 Subject: [PATCH] Updated submodule --- solutions/jetbrains.mps.unification/imports/mps-unification | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/solutions/jetbrains.mps.unification/imports/mps-unification b/solutions/jetbrains.mps.unification/imports/mps-unification index 88503a41..3bd772b1 160000 --- a/solutions/jetbrains.mps.unification/imports/mps-unification +++ b/solutions/jetbrains.mps.unification/imports/mps-unification @@ -1 +1 @@ -Subproject commit 88503a41bacde72fa87bcfb0863015ffd36f7c32 +Subproject commit 3bd772b1dca0344ee82d0fcbd483cd2afd69cfa5