gustafn
committed
on 24 Jan 17
- help a developer by logging differences between the default settings and actual settings to the log file