]> gerrit.simantics Code Review - simantics/platform.git/tree
066eaf6e60c314f9819f5775c09583eb4ed915c3
-rw-r--r-- 4052 IDEStartupPreferencePage.java
-rw-r--r-- 7331 RecentWorkspacesPreferencePage.java
-rw-r--r-- 5807 SimanticsPreferencePage.java