| commit | 4d4872ae2069d420118cc1f94913eeab402f8a16 | [log] [tgz] |
|---|---|---|
| author | Gilles Peskine <Gilles.Peskine@arm.com> | Sun Dec 10 23:43:39 2017 +0100 |
| committer | Gilles Peskine <Gilles.Peskine@arm.com> | Wed Dec 20 14:00:38 2017 +0100 |
| tree | 98debdefc9d1c2e5942385dee03342d3582823f9 | |
| parent | fb18b6ccd2f7f33e893dbf5d299f232b51a7c41f [diff] |
all.sh: cleaned up usage output