Google Git
Sign in
eclipse / ptp / org.eclipse.photran / 2e0f9b90638b4a39fe914a2c8100f7f67dded669 / . / org.eclipse.photran.core.vpg / .settings
tree: 53ff714fb5a324a817d165897f4259f6a82b9a0e [path history] [tgz]
  1. org.eclipse.jdt.core.prefs
  2. org.eclipse.jdt.ui.prefs