From: Hannu Niemistö Date: Wed, 15 Nov 2017 08:11:52 +0000 (+0200) Subject: Merge "(refs #7619) Better parenthese in derived show" X-Git-Tag: v1.31.0~36 X-Git-Url: https://gerrit.simantics.org/r/gitweb?a=commitdiff_plain;h=caad4b50af37ff3731a3e9a557dc697e9116de56;hp=caad4b50af37ff3731a3e9a557dc697e9116de56;p=simantics%2Fplatform.git Merge "(refs #7619) Better parenthese in derived show" ---