tree 4ebfc1d134f6ca1290c0f80dfe5b875ad9f6deb0
parent 2d89ccced546f7dbf08fa9d0eb92b36b123e9a61
author Gilles Peskine <Gilles.Peskine@arm.com> 1564263596 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> 1568365463 +0200

Uniformize whitespace in commented-out defines