Merge branch 'R4_development' of ssh://git.eclipse.org/gitroot/platform/eclipse.platform.ui into R4_development
tree: c764847290d4fbb4a7bb6148efb1ca4b2aa399c0
  1. bundles/
  2. examples/
  3. tests/
  4. .gitignore