]> gerrit.simantics Code Review - simantics/platform.git/history - bundles/org.simantics.desktop.ui.ontology/.settings/org.eclipse.jdt.core.prefs
merged svn revision 33114 and added desktop and help plugins
[simantics/platform.git] / bundles / org.simantics.desktop.ui.ontology / .settings / org.eclipse.jdt.core.prefs
2016-08-16 Hannu Niemistömerged svn revision 33114 and added desktop and help...