tree d4e6235c03918574e9a2e1e96c75dee06c8c1b99
parent 5454a8477209686a514cb1b1b734f6e29ae72780
author Gilles Peskine <Gilles.Peskine@arm.com> 1716993892 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> 1719425017 +0200

Terminology: use "dependencies" for a list of settings

"Super settings" were effectively the dependencies of a setting, so align on
that terminology.

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