Google Git
Sign in
eclipse / objectteams / org.eclipse.objectteams / refs/tags/releases/OTDT_2.3.0 / . / plugins / org.eclipse.objectteams.otdt.pde.ui / .settings
tree: 49dbea31169143dfa5cd29beddfa573482f046fa [path history] [tgz]
  1. org.eclipse.jdt.core.prefs