From: Tuukka Lehtonen Date: Wed, 6 Sep 2017 08:01:47 +0000 (+0300) Subject: Merge "More descriptive label for PlatformUI shared ontology" X-Git-Tag: v1.31.0~195 X-Git-Url: https://gerrit.simantics.org/r/gitweb?p=simantics%2Fplatform.git;a=commitdiff_plain;h=7399881afbe82eb7020ac279604eaa0316724672 Merge "More descriptive label for PlatformUI shared ontology" --- 7399881afbe82eb7020ac279604eaa0316724672