Google Git
Sign in
eclipse / gerrit / jeetools / webtools.javaee / 22d3abfc5a23672003560d76a84cffdbc1d38a64 / . / plugins / org.eclipse.jst.jee / .settings
tree: 531b00249cdaf010de3ec91cd8a57ec555b2de00 [path history] [tgz]
  1. org.eclipse.jdt.core.prefs
  2. org.eclipse.pde.prefs