tree 139bfef53ffd9a2fa859ea79c74238cbd0099ee1
parent 28409e60f48c3b265478fd8013909fe3642a075a
author Paul Pazderski <paul-eclipse@ppazderski.de> 1574372707 +0100
committer Paul Pazderski <paul-eclipse@ppazderski.de> 1574456962 +0100

Bug 548250 - Javadoc problems in platform.ui

Change-Id: Id9edf93f1123c70934fdb1f2316ad4138446c291
Signed-off-by: Paul Pazderski <paul-eclipse@ppazderski.de>