]> gerrit.simantics Code Review - simantics/platform.git/commitdiff
Optionally print also into IDE console 89/589/1
authorAntti Villberg <antti.villberg@semantum.fi>
Fri, 2 Jun 2017 10:19:02 +0000 (13:19 +0300)
committerAntti Villberg <antti.villberg@semantum.fi>
Fri, 2 Jun 2017 10:22:58 +0000 (13:22 +0300)
refs #7226

Change-Id: I52c900d8b495cb68eed028cc219dd56965447e7c


No differences found