We can now select the next/previous diff (commited to have the
tree6e24e98607da39441d4512c47f9c2c23012068f1
-rw-r--r-- 27 .gitignore
drwxr-xr-x - org.eclipse.emf.compare-parent
drwxr-xr-x - packaging
drwxr-xr-x - plugins