Google GitGoogle Git
Sign in
eclipse/jeetools/webtools.javaee/f8f5fbf66ec792600be308fd840324cbfb410d11/./plugins/org.eclipse.jem.beaninfo/.settings
tree: 979921b9b7703d7b710ca005b7a530d981a1efe8
  1. org.eclipse.core.resources.prefs
  2. org.eclipse.jdt.core.prefs
  3. org.eclipse.jdt.ui.prefs
  4. org.eclipse.pde.core.prefs