Google Git
Sign in
eclipse / gerrit / linuxtools / org.eclipse.linuxtools / refs/heads/stable-3.0 / . / rpm / org.eclipse.linuxtools.rpm.rpmlint / .settings
tree: 2c95a0bf6edf4c1bcb0849325026110f40e593ca [path history] [tgz]
  1. org.eclipse.jdt.core.prefs
  2. org.eclipse.jdt.ui.prefs