]> gerrit.simantics Code Review - simantics/platform.git/history - settings.xml
(refs #7568) Reinitialize diagram editor when element is switched
[simantics/platform.git] / settings.xml
2017-08-10 Tuukka LehtonenFixed mvn package and verify to also work with linux...