commit | a9b7b3d872dc1c87e5054cb04cbae8781256134a | [log] [tgz] |
---|---|---|
author | Lars Vogel <Lars.Vogel@vogella.com> | Mon Jan 13 19:50:52 2020 +0100 |
committer | Lars Vogel <Lars.Vogel@vogella.com> | Mon Jan 13 20:41:50 2020 +0100 |
tree | 48f7b957734150d0db05bfa62c5e47c236d6a8c6 | |
parent | 719600d21e0ee1f226b0e29ae9a965e1cb3c129d [diff] |
4.15 update for org.eclipse.tips.ide and org.eclipse.tips.feature Required for https://git.eclipse.org/r/155767 Change-Id: I9bd6458dc0e1121a64f0ed3adb38c7e43707be28 Signed-off-by: Lars Vogel <Lars.Vogel@vogella.com>