]> gerrit.simantics Code Review - simantics/platform.git/tree - bundles/org.simantics.workbench/src/org/simantics/workbench/splashHandlers/
Always discard database undo history after each platform startup. 32/1532/2
[simantics/platform.git] / bundles / org.simantics.workbench / src / org / simantics / workbench / splashHandlers /
drwxr-xr-x   ..
-rw-r--r-- 19560 InteractiveSplashHandler.java