log org.guido-berhoerster.code.package-update-indicator.gschema.xml @ 68:e1ea4e1ce17c default tip

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