commit | a27187cb1a408caaadf5eca6909bbe03a8b297a4 | [log] [tgz] |
---|---|---|
author | Karsten Thoms <karsten.thoms@itemis.de> | Wed Jun 12 03:45:39 2019 +0200 |
committer | Paul Pazderski <paul-eclipse@ppazderski.de> | Fri Jun 14 14:22:11 2019 +0200 |
tree | 8c513947beeef0dcb2a9e1922b242ad5ddc6c4b3 | |
parent | 84f85561d3a506b14f72c48bbc8cf1bfa4b42143 [diff] |
4.13 version updates Bump versions for: - org.eclipse.core.externaltools - org.eclipse.core.variables - org.eclipse.debug.examples.core - org.eclipse.debug.examples.ui Required for https://git.eclipse.org/r/#/c/142394/ Change-Id: I44573999ecb9f99c2be39110434a623b32521a2e Signed-off-by: Karsten Thoms <karsten.thoms@itemis.de>