[499986] Correctly store engine preferences and fix setting to defaults70/81970/6
treeca2ed193ca51cd4616a787c2d6c1b640e23816a4
-rw-r--r-- 48 .gitignore
-rw-r--r-- 4444 README.textile
drwxr-xr-x - org.eclipse.emf.compare-parent
drwxr-xr-x - packaging
drwxr-xr-x - performance
drwxr-xr-x - plugins
drwxr-xr-x - tutorial