log pui-prefs-application.c @ 66:fba5c74fa914 default tip

age author description
Tue, 06 Sep 2022 19:11:21 +0200 Guido Berhoerster Add setting to disable preferences widgets
Sun, 17 Jun 2018 11:05:28 +0200 Guido Berhoerster Add setting to control whether to use a mobile connection
Fri, 08 Jun 2018 08:38:42 +0200 Guido Berhoerster Add preferences application