commit | 14e5cf5ac7b2ff2c4e10b9e4ddce4a109a5f22dc | [log] [tgz] |
---|---|---|
author | Johannes Faltermeier <jfaltermeier@eclipsesource.com> | Tue Feb 19 02:56:01 2019 -0500 |
committer | Gerrit Code Review @ Eclipse.org <gerrit@eclipse.org> | Tue Feb 19 02:56:01 2019 -0500 |
tree | 07cdb816f2cbb067a0a08c28d4361158e1c330b6 | |
parent | fb9781e762a75e17d7935ad937704c042ee70cdf [diff] | |
parent | e03a8da3b72a001d87ea92e9de065cabbd7fa37d [diff] |
Merge "Bug 544155: [History Editor] Add option to remember answer to "add to history" prompt" into develop