Google Git
Sign in
eclipse / mmt / org.eclipse.atl / 0a284561017579e10ff8d9b4ac51425ae3d2fb8d / . / plugins / org.eclipse.m2m.atl.profiler.ui / .settings
tree: 68ece2385e2d2bca8cbcb71b884ae84cdf9f997c [path history] [tgz]
  1. org.eclipse.jdt.core.prefs
  2. org.eclipse.jdt.ui.prefs