Gilles Peskine 7ca4ff677d 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>
2021-05-20 10:37:22 +02:00
..
2021-05-20 10:37:22 +02:00
2021-05-20 10:37:22 +02:00
2021-04-21 11:05:00 +02:00