Google Git
Sign in
eclipse / servertools / webtools.servertools / 8f337b6b1aa55f078aed2ff0a14d39e3da1a57b7 / . / plugins / org.eclipse.jst.server.ui / .settings
tree: 80e2f2c4d04e07d75deb9da17dce0288afa38824 [path history] [tgz]
  1. org.eclipse.core.resources.prefs
  2. org.eclipse.pde.prefs