Google Git
Sign in
eclipse/platform/eclipse.platform.ui/06309c452abb3ebce038e6501be1c9d3de5eb9cf/./examples/org.eclipse.ui.examples.propertysheet/.settings
tree: dcb83d32cf7dd9d6771f0969af7ef03dc6bc8952
  1. org.eclipse.core.runtime.prefs
  2. org.eclipse.jdt.core.prefs
  3. org.eclipse.jdt.ui.prefs
  4. org.eclipse.pde.prefs