Google Git
Sign in
eclipse / acceleo / org.eclipse.acceleo / dadac3497b5fd6b5875aebe0e29675da76cd74b6 / . / plugins / org.eclipse.acceleo.profiler.edit / .settings
tree: 26c6eda08529fe87d354d2efbdd404a345592b6f [path history] [tgz]
  1. org.eclipse.jdt.core.prefs
  2. org.eclipse.jdt.ui.prefs
  3. org.eclipse.pde.api.tools.prefs