Google Git
Sign in
eclipse / m2t / org.eclipse.xpand / xpand2_master / . / plugins / org.eclipse.xtend / .settings
tree: 14f55d53d2bca6689b8e0ee9e38ef5edcb7508cd [path history] [tgz]
  1. org.eclipse.jdt.core.prefs
  2. org.eclipse.jdt.ui.prefs