Google Git
Sign in
eclipse / mmt / org.eclipse.atl / refs/heads/R3_8_maintenance / . / plugins / org.eclipse.m2m.atl.engine / .settings
tree: 1f22e3f555888606ce13567a2075887984333f88 [path history] [tgz]
  1. org.eclipse.jdt.core.prefs
  2. org.eclipse.jdt.ui.prefs