Google Git
Sign in
android / platform / external / arduino-ide / f7836e2f57fe154c3cb549f57c19f126a2b74883 / . / .settings
tree: 42018bb524f4a7bf48a5cf520b6005a845fe0892 [path history] [tgz]
  1. org.eclipse.jdt.core.prefs
  2. org.eclipse.jdt.ui.prefs