tree abd0154a69770899dedcb5728fe52a36adf96893
parent 4be18cf1f1134788f420cae98f50d5139ab4c42b
author Gilles Peskine <Gilles.Peskine@arm.com> 1589125002 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> 1590683660 +0200

Permit empty files

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