tree 72f403a989dfa4dcf786257900b8ec5109bb903a
parent b9344e32661366530ccd230942df5ffcd452ee92
author Gilles Peskine <Gilles.Peskine@arm.com> 1513868361 +0100
committer Gilles Peskine <Gilles.Peskine@arm.com> 1513869249 +0100

all.sh: add some documentation