Google Git
Sign in
eclipse / jsf / webtools.jsf / 7240c97b743a415b534a4187460f887d16bc284b / . / jsf / plugins / org.eclipse.jst.jsf.common.ui / .settings
tree: d8b28a601a54355a414a0714b92d7cc67b50a673 [path history] [tgz]
  1. org.eclipse.jdt.core.prefs
  2. org.eclipse.jdt.ui.prefs