Merge branch 'master' of ssh://pwebster@git.eclipse.org/gitroot/e4/org.eclipse.migration.git
tree: 6995660adb5c0f88309c600734ab8413bba41775
  1. eclipse.platform.ui/
  2. eclipse.platform.ui.e4/
  3. scripts/
  4. .gitignore
  5. .project