Google Git
Sign in
gdch-oss/third_party/jacoco/jacoco/17df174ff5aeeb876fdbc6f59e78d687243f5073/./org.jacoco.core/.settings
tree: 765157184e6596118cad2c1eaa524ebf55997d21
  1. org.eclipse.core.resources.prefs
  2. org.eclipse.jdt.core.prefs
  3. org.eclipse.jdt.ui.prefs