Google Git
Sign in
android / toolchain / jack / 07a55f2c401c7bab42db8b1fb83abe3f980d364f / . / dx / .settings
tree: 39d616758c9f1e1d59d986c7c6e74316fa6ecdd2 [path history] [tgz]
  1. org.eclipse.jdt.core.prefs
  2. org.eclipse.jdt.ui.prefs