[457652] Give xmi:ids higher priority than attribute ids13/42913/5
treec03a17ac156f8c65aa4044f242b79450faeb4cd0
-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