tree 8298f120783be0060ff96175701d04c28a979c20
parent 7000e574b6f862bc74d2d02753697b2a10844664
author Gilles Peskine <Gilles.Peskine@arm.com> 1512944540 +0100
committer Gilles Peskine <Gilles.Peskine@arm.com> 1513865607 +0100

all.sh: indent