Google Git
Sign in
eclipse/www.eclipse.org/eclipse/57052bc9d06420299c19552ecdec753605462ffe/./platform-ui/plugins/org.eclipse.ui.examples.filesystem/.settings
tree: c368cf795f755e822c10b71825177c39bf32d95b
  1. org.eclipse.jdt.core.prefs
  2. org.eclipse.jdt.ui.prefs