Google Git
Sign in
eclipse/www.eclipse.org/eclipse/refs/heads/master/./platform-ui/plugins/org.eclipse.ui.ide.examples.projectsnapshot/.settings
tree: b6b5fec7ba132696a580eb42bd88b555871f2bcc
  1. org.eclipse.jdt.core.prefs