Google Git
Sign in
eclipse / dltk / org.eclipse.dltk.core / 74c72b832e5ae9b88eda1506cea7957ff72b8a54 / . / core / plugins / org.eclipse.dltk.core / .settings
tree: 5e94f1d60b9b14f0a8e462681294172145b1464b [path history] [tgz]
  1. .api_filters
  2. org.eclipse.jdt.core.prefs
  3. org.eclipse.jdt.ui.prefs