Google Git
Sign in
eclipse / gerrit / jeetools / webtools.javaee / 90087b245e7ae2e01a2a1bf52956fd4dc077404d / . / plugins / org.eclipse.jst.jee / .settings
tree: 148f3882fb3061e1b38f1020ca4951b3ca31f523 [path history] [tgz]
  1. org.eclipse.jdt.core.prefs
  2. org.eclipse.jdt.ui.prefs