tree 5754b438f922c8f72c52787f45d17bec823c0504
parent 67debb616103c68f259857909062804623a4bf0a
author Gilles Peskine <Gilles.Peskine@arm.com> 1621347268 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> 1621499842 +0200

Remove Git pre-commit hook

Since generated files are no longer stored in the repository, they
don't need to be up-to-date before committing.

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