log pui-prefs.gresource.xml @ 65:72f0eea06b7c

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