diff pui-prefs-window.ui @ 25:cb2329d63fe9

Added tag version-3 for changeset 4196eacbe940
author Guido Berhoerster <guido+pui@berhoerster.name>
date Wed, 24 Jul 2019 10:35:37 +0200
parents 3d72ca76538d
children
line wrap: on
line diff