]> gerrit.simantics Code Review - simantics/platform.git/commitdiff
Merge "Expose History REST API implementation to other plug-ins"
authorMarko Luukkainen <marko.luukkainen@semantum.fi>
Fri, 14 Sep 2018 10:43:53 +0000 (10:43 +0000)
committerGerrit Code Review <gerrit2@simantics>
Fri, 14 Sep 2018 10:43:53 +0000 (10:43 +0000)

Trivial merge