Improves preference page UI.01/24401/4
tree6cf8ae1d3182bc03ca549a8f3e995fae3fb1cde5
-rw-r--r-- 48 .gitignore
-rw-r--r-- 4438 README.textile
drwxr-xr-x - org.eclipse.emf.compare-parent
drwxr-xr-x - packaging
drwxr-xr-x - plugins