tree cbf90a5ae6ec815dddefcaa2cd57704da9972d79
parent 23e64f226bf01c6f913ea64dc333858bcc4d7dad
author Gilles Peskine <Gilles.Peskine@arm.com> 1551127182 +0100
committer Gilles Peskine <Gilles.Peskine@arm.com> 1551261805 +0100

Silence pylint

Silence pylint in specific places where we're doing slightly unusual
or dodgy, but correct.