]> gerrit.simantics Code Review - simantics/platform.git/tree - releng/org.simantics.desktop.rcp.product/
Code Review / simantics / platform.git / tree
? search:
summary | shortlog | log | commit | commitdiff | review | tree
history | HEAD | snapshot
Move shutdown of worker pools to SimanticsPlatform.shutdown() 98/2498/3
[simantics/platform.git] / releng / org.simantics.desktop.rcp.product /
drwxr-xr-x   ..
-rw-r--r-- 237 .project blob | history | raw
-rw-r--r-- 1425 pom.xml blob | history | raw
-rw-r--r-- 2323 simantics-desktop.product blob | history | raw
Simantics Platform SDK.