]> gerrit.simantics Code Review - simantics/platform.git/tree - bundles/org.simantics.workbench/src/org/simantics/workbench/splashHandlers/
Change default "Eclipse Launcher" shell title from workspace launcher 22/722/2
[simantics/platform.git] / bundles / org.simantics.workbench / src / org / simantics / workbench / splashHandlers /
drwxr-xr-x   ..
-rw-r--r-- 19560 InteractiveSplashHandler.java