tree 71c8ae92555cc770b930431d225657f64ca464a5
parent 76851ae3a6f91373d853d5a387fc18b3f0cde053
author Gilles Peskine <Gilles.Peskine@arm.com> 1656363729 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> 1656363729 +0200

Declare deprecated option for no_deprecated configs

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