diff pui-prefs-window.ui @ 18:513f5478a711 version-2

Release version 2
author Guido Berhoerster <guido+pui@berhoerster.name>
date Sat, 08 Dec 2018 10:09:35 +0100
parents 3d72ca76538d
children
line wrap: on
line diff