tree 48513cb28c8f1b0eb2e0f315ad0556ae667a924e
parent fa9c44f93ea73a2367b3b5ae7e3a5c9a814569d5
author Alex Lagarde <alex.lagarde@obeo.fr> 1393259867 +0100
committer Alex Lagarde <alex.lagarde@obeo.fr> 1393341134 +0100

[bugzilla 411217] Make the WorkspaceSession able to identify external modifications (e.g. git reset), so that external changes can be taken into account inside editor editors & clients

Also add the corresponding test