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