| commit | d5787f4ec2efdaeca98933ffd7c0772af37a8620 | [log] [tgz] |
|---|---|---|
| author | Wim Jongman <wim.jongman@remainsoftware.com> | Fri Jan 25 10:45:44 2019 +0100 |
| committer | Wim Jongman <wim.jongman@remainsoftware.com> | Fri Jan 25 11:41:38 2019 +0100 |
| tree | 3fc2c7215dc0a18849a41681a1a8b32f52443a1d | |
| parent | 1b88ad25341b86ef23963cb226cfba56ced0cba3 [diff] |
[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>