Merge branch 'master' into api_embellishment
tree: a7003eaa3b1c0fcb50eabc7860517dad642d432d
  1. org.eclipse.emf.compare-parent/
  2. packaging/
  3. plugins/
  4. .gitignore