tree 3fc2c7215dc0a18849a41681a1a8b32f52443a1d
parent 1b88ad25341b86ef23963cb226cfba56ced0cba3
author Wim Jongman <wim.jongman@remainsoftware.com> 1548409544 +0100
committer Wim Jongman <wim.jongman@remainsoftware.com> 1548412898 +0100

[Bug 543748] [tips] no source for org.eclipse.tips.* is shipped with SDK

Added about.html to build.poperties

Change-Id: I57b4c476f2330927724c309765cd059d305c80ba
Signed-off-by: Wim Jongman <wim.jongman@remainsoftware.com>