tree 51fd21883ebe6ddf9974795b519efe612e794e60
parent 83328d807c85f906c948a705490aa083130d3f56
author Lars Vogel <Lars.Vogel@vogella.com> 1633078126 +0200
committer Lars Vogel <Lars.Vogel@vogella.com> 1633947917 -0400

Bug 576379 - Migrate the preference spy to PDE

Change-Id: Iba50317df732799605a416f8fc8b45429890ef44
Signed-off-by: Lars Vogel <Lars.Vogel@vogella.com>
Reviewed-on: https://git.eclipse.org/r/c/pde/eclipse.pde.ui/+/186036
Tested-by: PDE Bot <pde-bot@eclipse.org>