Google Git
Sign in
eclipse / gerrit / jeetools / webtools.javaee / 88dcabe655c90d483fe5a196f5fd6690e4292557 / . / plugins / org.eclipse.wst.web.ui / .settings
tree: 3529cc36f8553a5d45570701f0d279c28082f868 [path history] [tgz]
  1. org.eclipse.core.resources.prefs