Lyndon Brown 7de8a0faa7 config: rename Check_config_defaults() to Validate_config() ... this is used after applying user settings on top of the defaults, so is not specific to checking defaults; it's a validation checker. Gbp-Dch: Short		2020-04-23 14:51:58 +02:00
..
build	config: rename Check_config_defaults() to Validate_config()	2020-04-23 14:51:58 +02:00
build.sh	move auto colouring decision	2020-03-23 08:06:51 +00:00