Google Git
Sign in
eclipse/datatools/org.eclipse.datatools/209258c8e9bf1b23d266aa518e47864250bb2bfe/./DEPRECATED/plugins/sqltools/org.eclipse.datatools.sqltools.result.ui/.settings/.settings
tree: 94445aa343d3c8735768cc755e7ae425b272e944
  1. org.eclipse.jdt.core.prefs