]> gerrit.simantics Code Review - simantics/platform.git/commitdiff
(refs #7180) Configurable font for FlagNode 78/478/1
authorHannu Niemistö <hannu.niemisto@semantum.fi>
Wed, 3 May 2017 13:38:56 +0000 (16:38 +0300)
committerHannu Niemistö <hannu.niemisto@semantum.fi>
Wed, 3 May 2017 13:38:56 +0000 (16:38 +0300)
Change-Id: I01e041e83ed8d66ad203107c2b4ff1d670756e5f


No differences found