tree 22d045f5c79b21cfaeb26db5dcf489e0ef416f61
parent f535eb2e616593807cf879914ba926a97cbe92cb
author Gilles Peskine <Gilles.Peskine@arm.com> 1544543255 +0100
committer Gilles Peskine <Gilles.Peskine@arm.com> 1544543255 +0100

Linkify some macros that were just typeset as text