Google Git
Sign in
eclipse / gerrit / jeetools / webtools.javaee / 5dd0dae5ac047073ffafb275987a18de702eda58 / . / plugins / org.eclipse.jem.workbench / .settings
tree: d5016ae45bdb4c807b20e5bef2122e5aa1fc880a [path history] [tgz]
  1. org.eclipse.jdt.core.prefs
  2. org.eclipse.jdt.ui.prefs