From: Hannu Niemistö Date: Thu, 20 Jul 2017 07:47:57 +0000 (+0300) Subject: Merge "(refs #7371) Support for select keyword for CHR constraints" X-Git-Tag: v1.31.0~264^2~48 X-Git-Url: https://gerrit.simantics.org/r/gitweb?a=commitdiff_plain;h=21b02764131815561cb6161837ad47e623b2cd37;p=simantics%2Fplatform.git Merge "(refs #7371) Support for select keyword for CHR constraints" --- 21b02764131815561cb6161837ad47e623b2cd37