[416441] - Enhance "Show consequences" dropdown menu
treee31e5e4bc34e5914d2f8748d3f5193e057629847
-rw-r--r-- 27 .gitignore
drwxr-xr-x - org.eclipse.emf.compare-parent
drwxr-xr-x - packaging
drwxr-xr-x - plugins