log pui-prefs.gresource.xml @ 2:7172a0db97af

age author description
Fri, 08 Jun 2018 08:38:42 +0200 Guido Berhoerster Add preferences application