Google Git
Sign in
eclipse / egf / org.eclipse.emf.egf / refs/tags/Release_1.3.0 / . / portfolio / org.eclipse.egf.eclipse.resources.mgt / .settings
tree: ed91a5a0210f5a573bf93cfcc5f61d0a65163507 [path history] [tgz]
  1. org.eclipse.core.resources.prefs
  2. org.eclipse.jdt.core.prefs