diff pui-prefs-window.ui @ 24:4196eacbe940 version-3

Release version 3
author Guido Berhoerster <guido+pui@berhoerster.name>
date Wed, 24 Jul 2019 10:33:37 +0200
parents 3d72ca76538d
children
line wrap: on
line diff