tree c1aee453cea89d995ab8530ea5207f7036920fc1
parent 605c2284bc3c5c324b2f814dbaa545273890a7ca
author Gilles Peskine <Gilles.Peskine@arm.com> 1513774806 +0100
committer Gilles Peskine <Gilles.Peskine@arm.com> 1513774806 +0100

all.sh: indent