Google Git
Sign in
eclipse / jsf / webtools.jsf / d83eb051fe9f41b77011ab4e343edf83d4570dee / . / jsf / plugins / org.eclipse.jst.pagedesigner.jsf.ui / .settings
tree: 4d10c22810284b01299bff23a70703c946faafe8 [path history] [tgz]
  1. org.eclipse.jdt.core.prefs
  2. org.eclipse.jdt.ui.prefs