commit | 5e016510047aeb8cc15be901f8bce9f59ca1cb30 | [log] [tgz] |
---|---|---|
author | Lars Vogel <Lars.Vogel@vogella.com> | Sun Jun 07 12:51:37 2020 +0200 |
committer | Lars Vogel <Lars.Vogel@vogella.com> | Sun Jun 07 12:52:04 2020 +0200 |
tree | af75f7d5c1f28f7d8be8952a4895214a5c7eaff9 | |
parent | 4dd5d44111cba210cc2a44b596c2cac5296ff716 [diff] |
4.17 update of org.eclipse.ui.workbench.texteditor Required for https://git.eclipse.org/r/#/c/163832/ Change-Id: Idada6455f1acfc67ae6da235299d2cca9f0db9ab Signed-off-by: Lars Vogel <Lars.Vogel@vogella.com>