Google Git
Sign in
eclipse / egf / org.eclipse.emf.egf / 66242ec39cbf4f211e5e2845a173971eac38171b / . / plugins / org.eclipse.egf.core.producer / .settings
tree: 4614037e86ce97cf109868bb7a3421633f08bf2b [path history] [tgz]
  1. org.eclipse.core.resources.prefs
  2. org.eclipse.jdt.core.prefs