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