tree e725022ab29da7ebf2dadce84659cfcdf8588ab3
parent 9f2b817fa78b3058e5382eec58e65542036253f0
author Gabor Mezei <gabor.mezei@arm.com> 1722958675 +0200
committer Gabor Mezei <gabor.mezei@arm.com> 1726735633 +0200
gpgsig -----BEGIN PGP SIGNATURE-----
 
 iHQEABEIAB0WIQQP/lAFvgchq2P/GD9jEL0psL/5jAUCZuvlEQAKCRBjEL0psL/5
 jJK/AP9sPiou9Hu8Cn/TXDy4lBsj6oCfGqS/E+FPP0oHBGYpUwD2JFkAGrzDMge1
 8/Ne2cn5y8CWe+TDPRrT0esq289nAA==
 =WGMB
 -----END PGP SIGNATURE-----

Move config file modification flag handling to the Config class

Signed-off-by: Gabor Mezei <gabor.mezei@arm.com>