Google Git
Sign in
eclipse / ejb / webtools.ejb.git.old / refs/heads/R3_0_5_patches / . / plugins / org.eclipse.jst.j2ee.ejb.annotations.ui / .settings
tree: e90c3c73057469d615cdf6fb7a2c375a2f83548b [path history] [tgz]
  1. org.eclipse.jdt.core.prefs
  2. org.eclipse.jdt.ui.prefs