diff pui-prefs-window.ui @ 29:9fc3e0c1a54b

Added tag version-4 for changeset 74644b419e86
author Guido Berhoerster <guido+pui@berhoerster.name>
date Wed, 24 Jul 2019 16:28:17 +0200
parents 3d72ca76538d
children
line wrap: on
line diff