]> gerrit.simantics Code Review - simantics/platform.git/commitdiff
Code Review / simantics / platform.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | review | tree
raw | combined (merge: 63bb6d5 6e5b907)
Merge branch 'master' into private/antti2
authorAntti Villberg <antti.villberg@semantum.fi>
Thu, 9 Jan 2020 09:45:37 +0000 (11:45 +0200)
committerAntti Villberg <antti.villberg@semantum.fi>
Thu, 9 Jan 2020 09:45:37 +0000 (11:45 +0200)

Trivial merge
Simantics Platform SDK.