Move filters & groups related API from provisional to public.

Change-Id: I123574816bb30216aa55e1ad657aab5d85c8990c
63 files changed
tree: 1ef866ef89fb795dda341b05c23f9da663e4da3d
  1. org.eclipse.emf.compare-parent/
  2. packaging/
  3. plugins/
  4. .gitignore