Google Git
Sign in
eclipse/egf/org.eclipse.emf.egf/refs/heads/0.4.0/./plugins/org.eclipse.egf.pattern.ui.java/.settings
tree: 330d04e92cca99fb0b3c3576ca0ef54ef44a19c0
  1. org.eclipse.core.resources.prefs
  2. org.eclipse.jdt.core.prefs