]> gerrit.simantics Code Review - simantics/platform.git/tree - bundles/org.simantics.platform.ui.ontology/.settings/
Merge commit '0580ea8b675c868685993b0780c9ecc31010f681' into master
[simantics/platform.git] / bundles / org.simantics.platform.ui.ontology / .settings /
drwxr-xr-x   ..
-rw-r--r-- 364 org.eclipse.jdt.core.prefs