log org.guido-berhoerster.code.package-update-indicator.gschema.xml @ 67:527d2ecef3bd version-9

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