tree e91141f45ef4b1213e2391b58b567a596abc2fc5
parent 93ee76a711336009235b3c726c363cd874bc7577
author Philip Langer <planger@eclipsesource.com> 1501742108 +0200
committer Philip Langer <planger@eclipsesource.com> 1504716309 +0200

[521945] Add a preference to disable jumping the next diff after merge

Bug: 521945
Change-Id: I5ab05bf0c49056b240ff5df63e3a6617b0de234f
Signed-off-by: Philip Langer <planger@eclipsesource.com>