Google Git
Sign in
eclipse / mmt / org.eclipse.atl / d3296cdca8b4c08cc92add34fde008e72d5705b9 / . / plugins / org.eclipse.m2m.atl.dsls / .settings
tree: 3f58983fe0e61ecbb817df7bf22e6efca1b4417f [path history] [tgz]
  1. org.eclipse.jdt.core.prefs
  2. org.eclipse.jdt.ui.prefs