[194109] : compare editor is now dirty when needed, and merge operation are applied...
treea14c6a174253fe8a4f60b580521a5d6bb96a4e04
-rw-r--r-- 216 .project
drwxr-xr-x - doc
drwxr-xr-x - examples
drwxr-xr-x - plugins
drwxr-xr-x - tests