tree 00e2a5eedaee74cad763dbac92b71c6252c0d5e3
parent 43bafcca94593050524b9cc074fdd393b790ce4a
author Gilles Peskine <Gilles.Peskine@arm.com> 1537892873 +0200
committer Darryl Green <darryl.green@arm.com> 1548778065 +0000

Support multiple values on the command line