| commit | 7907da8e73316345d971683cc5671026c313da1e | [log] [tgz] |
|---|---|---|
| author | Paul Pazderski <paul-eclipse@ppazderski.de> | Fri Apr 05 19:19:52 2019 +0200 |
| committer | Paul Pazderski <paul-eclipse@ppazderski.de> | Wed Jul 03 04:09:41 2019 -0400 |
| tree | 74f2688810cdfda89b535978d3e431b0cd2b943d | |
| parent | 4b951888593050d8530d446ce36cf084fa200458 [diff] |
Bug 32205 - [console] Add launch option to merge process output Also make use of output merge option in external tool launch. Change-Id: Ibc3cec8df076a4cea3f83e37fa2640115dd3f49b Signed-off-by: Paul Pazderski <paul-eclipse@ppazderski.de>