From: Hannu Niemistö <hannu.niemisto@semantum.fi>
Date: Mon, 5 Jun 2017 12:47:37 +0000 (+0300)
Subject: (refs #7250) Merged feature/modularCHR to master.
X-Git-Tag: v1.31.0~339
X-Git-Url: https://gerrit.simantics.org/r/gitweb?a=commitdiff_plain;h=bf5f7cda1b9b64484cc6e53499e38d6785744aec;p=simantics%2Fplatform.git

(refs #7250) Merged feature/modularCHR to master.

Change-Id: Icad6e8c9594826f70d929792f7d258c5514d0550
---

bf5f7cda1b9b64484cc6e53499e38d6785744aec