tree 3a393b9538061c57da4e27ba9f7ad7c6820694d7
parent d6fc78654c5d109e7f1591fe8d7cfbda1263a4d3
author Lars Vogel <Lars.Vogel@vogella.com> 1560249908 +0200
committer Lars Vogel <Lars.Vogel@vogella.com> 1560250184 +0200

4.13 version update for org.eclipse.ui.console

Required for https://git.eclipse.org/r/c/142750/

Change-Id: I1cf0b64f886174193d28434da1eb186364c95f0a
Signed-off-by: Lars Vogel <Lars.Vogel@vogella.com>