tree 7aa40b05260a082714b8a2b87138ab8a0af3f128
parent df13d5c7a6e0e4678075f948499530654ff65d5b
author Gilles Peskine <Gilles.Peskine@arm.com> 1524692142 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> 1524729640 +0200

Comment formatting and whitespace fixes