commit | 6a5d94500d117db68ed2641c88b016b33b145182 | [log] [tgz] |
---|---|---|
author | Lars Vogel <Lars.Vogel@vogella.com> | Tue Jun 09 18:09:40 2020 +0200 |
committer | Lars Vogel <Lars.Vogel@vogella.com> | Tue Jun 09 13:04:43 2020 -0400 |
tree | d2cb7ddde5352847c229169b020e95f7136a3386 | |
parent | dd728eb92a34124118ea1b10fe8d41d20e6760e4 [diff] |
4.17 update of org.eclipse.ui.editors For https://git.eclipse.org/r/#/c/164285/ Change-Id: I62f19768783ada8bfde92fceabf4e64a58b83508