tree 1b049283654bb90b0e50f371c84fbb50498106f2
parent 3f49cc14e760db7e4207f27814b9bd717b397678
author Gilles Peskine <Gilles.Peskine@arm.com> 1649884940 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> 1649884940 +0200

State explicitly USER config files can modify the default config

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