tree 26d14cc29af573a48ed39c309e7ec53d84181ac3
parent 64e4c9e6baeca190562d79feeedeb8f0c5736ebe
author Gilles Peskine <Gilles.Peskine@arm.com> 1649326586 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> 1649354137 +0200

Move specification to a directory indicating the version

Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com>