tree 50e1e472c42877ad86a816d717930064cec3f165
parent 33b9ff6d2d542e3d4cd0e50052f428cd0f7d979d
author Gilles Peskine <Gilles.Peskine@arm.com> 1533215287 +0200
committer Jaeden Amero <jaeden.amero@arm.com> 1536915749 +0100

Remove trailing whitespace and fix indentation in generated C file