tree a9440bfaa4fc741ad8ebf15541d16dc733972539
parent bca6ab9d38dccbcf024c43d3979c0feda8751281
author Gilles Peskine <Gilles.Peskine@arm.com> 1513868361 +0100
committer Gilles Peskine <Gilles.Peskine@arm.com> 1513871654 +0100

all.sh: add some documentation