log pui-prefs.gresource.xml @ 68:e1ea4e1ce17c default tip

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