]> gerrit.simantics Code Review - simantics/platform.git/blob - bundles/com.famfamfam.silk/companion/bookmark_edit.png
Code Review / simantics / platform.git / blob
? search:
summary | shortlog | log | commit | commitdiff | review | tree
history | raw | HEAD
Move shutdown of worker pools to SimanticsPlatform.shutdown()
[simantics/platform.git] / bundles / com.famfamfam.silk / companion / bookmark_edit.png
bundles/com.famfamfam.silk/companion/bookmark_edit.png
Simantics Platform SDK.