commit | fd1319114d5773d63baf06e7bfe19e93e2f23661 | [log] [tgz] |
---|---|---|
author | Karsten Thoms <karsten.thoms@itemis.de> | Wed Jun 12 05:07:43 2019 +0200 |
committer | Karsten Thoms <karsten.thoms@itemis.de> | Wed Jun 12 08:57:53 2019 +0200 |
tree | dff102d3c2ddc1b132ffdf519fe5aedd8b348072 | |
parent | a92933dc938dd8b40a7a978bae916d2b56f82827 [diff] |
4.13 version update Version bumps for https://git.eclipse.org/r/#/c/142828/ - org.eclipse.core.filebuffers - org.eclipse.search - org.eclipse.text - org.eclipse.ui.genericeditor - org.eclipse.ui.genericeditor.examples - org.eclipse.ui.workbench.texteditor Change-Id: I22121e709aa405ad9479934d511a34ef206f8361 Signed-off-by: Karsten Thoms <karsten.thoms@itemis.de>