From: Hannu Niemistö Date: Wed, 6 Sep 2017 07:50:52 +0000 (+0300) Subject: Merge "Font property for DIA.TextElement" X-Git-Tag: v1.31.0~196 X-Git-Url: https://gerrit.simantics.org/r/gitweb?a=commitdiff_plain;h=2c5896e3dbba9d05dfa3cb9247d804296c898453;p=simantics%2Fplatform.git Merge "Font property for DIA.TextElement" --- 2c5896e3dbba9d05dfa3cb9247d804296c898453