tree 431d6061200e0a2e8d079ffa228def63e51e86fe
parent 454ecb802954aadeb526b487d03b395232cf1161
author Jeff Johnston <jjohnstn@redhat.com> 1563925186 -0400
committer Jeff Johnston <jjohnstn@redhat.com> 1563930272 -0400

Bug 520145 - GCov Preference page does not change annotations settings

- delete ColorPreferencesPage and ColorPreferenesInitializer from
  gcov plug-in
- remove preferences extensions from gcov plugin.xml
- bump up gcov plug-in version

Change-Id: I8a3779e3e542af31a1827158e8e54898c7ad4555
Reviewed-on: https://git.eclipse.org/r/146538
Tested-by: Linux Tools Bot <linuxtools-bot@eclipse.org>
Reviewed-by: Jeff Johnston <jjohnstn@redhat.com>