log org.guido-berhoerster.code.package-update-indicator.gschema.xml @ 58:9cbb0f8a66c4

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