commit | 2bf74dbe04ac8facb02557a26fe20e5fac0d5e24 | [log] [tgz] |
---|---|---|
author | Karsten Thoms <karsten.thoms@itemis.de> | Wed Dec 11 11:50:17 2019 +0100 |
committer | Karsten Thoms <karsten.thoms@itemis.de> | Wed Dec 11 11:50:17 2019 +0100 |
tree | a28a15f005f3a45e4af2b93b7a41bdc7d53f8757 | |
parent | 16b7363007dbfa4eb1664350b2d19649d4d3a918 [diff] |
4.15 version update for org.eclipse.ui.console Required for https://git.eclipse.org/r/#/c/153801/ Change-Id: I81a174b9401d1d1d1b8e9208522fda5824c3055a Signed-off-by: Karsten Thoms <karsten.thoms@itemis.de>