| commit | d5a2d984c59ffc46771b87a7084e3ef14820cd9a | [log] [tgz] |
|---|---|---|
| author | Lars Vogel <Lars.Vogel@vogella.com> | Tue Jun 11 12:45:48 2019 +0200 |
| committer | Lars Vogel <Lars.Vogel@vogella.com> | Tue Jun 11 12:49:49 2019 +0200 |
| tree | ef7057463a5cdb7fdffa807602c63fb1ee46d57e | |
| parent | 8467ca1daee71520ff614332b8e292e83028971b [diff] |
4.13 version update for org.eclipse.ui.externaltools Required for https://git.eclipse.org/r/c/142750/ Change-Id: Iab89cc41932dcec8d61d6346d7866bcf1b8d8f3f Signed-off-by: Lars Vogel <Lars.Vogel@vogella.com>