commit | 2dee0b937dd55be3c976cb052133f11ff4788a8d | [log] [tgz] |
---|---|---|
author | Ansgar Radermacher <ansgar.radermacher@cea.fr> | Thu Dec 05 03:05:41 2019 -0500 |
committer | Gerrit Code Review @ Eclipse.org <gerrit@eclipse.org> | Thu Dec 05 03:05:41 2019 -0500 |
tree | 120dbc67b586861ca110874e01209f72f16f00a0 | |
parent | d14cdf78dad35b7f973aee42d71a0a98d49a0b63 [diff] | |
parent | 0bb93b8e2e8aed00ebd53f115ed2e74cf9556011 [diff] |
Merge "Bug 553226 - [Robotics, Usability] Avoid generic "robotics" tab and disable new-child tab"