From: jsimomaa Date: Mon, 12 Jun 2017 09:59:48 +0000 (+0300) Subject: Some minor fixes for pretty printing TG X-Git-Tag: v1.31.0~318 X-Git-Url: https://gerrit.simantics.org/r/gitweb?a=commitdiff_plain;ds=sidebyside;h=cd109cfc863adf6e9207cb77396b52f10d26a849;hp=cd109cfc863adf6e9207cb77396b52f10d26a849;p=simantics%2Fplatform.git Some minor fixes for pretty printing TG #7276 Change-Id: I838c99e0151c68e8efc9c54189cc1c94e26f55c2 ---