Google Git
Sign in
eclipse/gerrit/viatra/org.eclipse.viatra.examples/6f404a135536666bd7ad27b72993e913344da8a2/./cps/domains/org.eclipse.viatra.examples.cps.deployment/.settings
tree: 516a9e4df6f57eb7a45029e96e4ee12032c7fd80
  1. org.eclipse.core.resources.prefs
  2. org.eclipse.jdt.core.prefs