commit | 977963015867b23adc33b9ee8b70057242ddc5f8 | [log] [tgz] |
---|---|---|
author | Karsten Thoms <karsten.thoms@karakun.com> | Thu Jun 11 19:21:25 2020 +0200 |
committer | Alexander Kurtakov <akurtako@redhat.com> | Thu Jun 11 14:07:40 2020 -0400 |
tree | b0e7cb92576c7e4b50660c1d5af49b208f14eeec | |
parent | dfa2023a422b2181cd0c8808aa524622c370fd38 [diff] |
4.17 version update for org.eclipse.help.ui Required for https://git.eclipse.org/r/#/c/163429/ Change-Id: I5c3901bfcfc0f68d0caaff50c76ff2a3aa180727 Signed-off-by: Karsten Thoms <karsten.thoms@karakun.com>