commit | fa330439b88af04f96c23b75e36a5a7813b89711 | [log] [tgz] |
---|---|---|
author | Georgios Pinitas <georgios.pinitas@arm.com> | Tue Nov 14 11:31:04 2017 +0000 |
committer | Anthony Barbier <anthony.barbier@arm.com> | Fri Nov 02 16:35:24 2018 +0000 |
tree | 0a08202b0d92011549b9591214dd4764e83a19dd | |
parent | e75a02b60736f37c34388c23c0ccee230f65da59 [diff] |
COMPMID-556: Fix double pretty printer registration. Change-Id: I5f9658fee9175140d602e1ba516a67d4c83c6d87 Reviewed-on: http://mpd-gerrit.cambridge.arm.com/95671 Tested-by: Kaizen <jeremy.johnson+kaizengerrit@arm.com> Reviewed-by: Michalis Spyrou <michalis.spyrou@arm.com>