log org.guido-berhoerster.code.package-update-indicator.gschema.xml @ 59:e3fc9db49d36 version-8

age author description
Tue, 06 Sep 2022 19:11:21 +0200 Guido Berhoerster Add setting to disable preferences widgets