Google Git
Sign in
eclipse/servertools/webtools.servertools.tests/6de01fd5ba8539432e1602d180d30ebdbb50af29/./tests/org.eclipse.wst.server.ui.tests/.settings
tree: 2f5148a507f2e1e724e9ff2683840085b4bcf037
  1. org.eclipse.core.resources.prefs
  2. org.eclipse.jdt.core.prefs
  3. org.eclipse.jdt.ui.prefs
  4. org.eclipse.pde.prefs