Google Git
Sign in
eclipse / cdo / cdo.old / 52c635c9668734a63973537f8973ecd54eef1350 / . / org.eclipse.net4j.pop.product.editor / .settings
tree: 11b8ea37ec15ee5258e5ba2228d3f7a128334601 [path history] [tgz]
  1. org.eclipse.jdt.core.prefs
  2. org.eclipse.jdt.ui.prefs