Google Git
Sign in
eclipse / gerrit / webtools-common / webtools.common.fproj / 942e44a18a98516e522349608291e38c217ff016 / . / plugins / org.eclipse.wst.common.project.facet.ui / .settings
tree: d3204f2e4da77ae807624aff9013261df188de1d [path history] [tgz]
  1. org.eclipse.jdt.core.prefs