Google Git
Sign in
eclipse / pde / eclipse.pde.ui / refs/heads/347695_target_ui_api / . / apitools / org.eclipse.pde.api.tools.ee.j2se12 / .settings
tree: 2994076f9c05dbe1c1d08e7fcba96a90c80cdad8 [path history] [tgz]
  1. org.eclipse.jdt.core.prefs