tree 07cdb816f2cbb067a0a08c28d4361158e1c330b6
parent fb9781e762a75e17d7935ad937704c042ee70cdf
parent e03a8da3b72a001d87ea92e9de065cabbd7fa37d
author Johannes Faltermeier <jfaltermeier@eclipsesource.com> 1550562961 -0500
committer Gerrit Code Review @ Eclipse.org <gerrit@eclipse.org> 1550562961 -0500

Merge "Bug 544155: [History Editor] Add option to remember answer to "add to history" prompt" into develop