log

age author description
Mon, 09 Dec 2019 10:31:34 -0800 Martin von Zweigbergk topic: use ui.configoverride() instead of ui.backupconfig()
Mon, 09 Dec 2019 10:28:58 -0800 Martin von Zweigbergk topic: use ui.configoverride() instead of ui.backupconfig()