commit | 0f57dddfe5c6c295dc6fb975199a0add05f21e88 | [log] [tgz] |
---|---|---|
author | Ansgar Radermacher <ansgar.radermacher@cea.fr> | Wed Dec 22 13:41:43 2021 +0100 |
committer | Ansgar Radermacher <ansgar.radermacher@cea.fr> | Wed Dec 22 13:41:43 2021 +0100 |
tree | ce96cd7ff48d06fd332652697b194cbb2020ddf9 | |
parent | 04155fa47b636bc103bd8387207ebc291dd8fc3a [diff] |
Bug 577906 - [Designer, JDT integration] Designer should support a synchronizing JDT editor - Revert to JSL14 for the moment (latest option not available in 2020-06) Change-Id: I68063881216f19ca6a37197a63aa50aa31954d8c Signed-off-by: Ansgar Radermacher <ansgar.radermacher@cea.fr>