Google Git
Sign in
android / platform / external / jsr305 / b917540b3d2706a8831d7656fbc602b5237df879 / . / ri / .settings
tree: 2a700786d073051cd6e93b52bdd3f3d8f1388821 [path history] [tgz]
  1. org.eclipse.jdt.core.prefs
  2. org.eclipse.jdt.ui.prefs