From: jsimomaa Date: Fri, 5 May 2017 04:31:32 +0000 (+0300) Subject: Some platform changes for district X-Git-Url: https://gerrit.simantics.org/r/gitweb?a=commitdiff_plain;ds=sidebyside;h=a68366ee33713aeb5118df2b20f68aafb067b5b1;hp=a68366ee33713aeb5118df2b20f68aafb067b5b1;p=simantics%2Fplatform.git Some platform changes for district Change-Id: Ib7aa44432f3e468ca11542debf33191b8403c742 ---