Google Git
Sign in
eclipse / platform / eclipse.platform.ui / 4d09f8b1f4013b1cd4aeddb60a3bc63528820a9d / . / examples / org.eclipse.ui.examples.undo / .settings
tree: 606804ee6b87bf9320ec96ed42ff3f3a9fbb169f [path history] [tgz]
  1. org.eclipse.jdt.core.prefs
  2. org.eclipse.jdt.ui.prefs
  3. org.eclipse.pde.prefs