diff pui-prefs-window.ui @ 48:dd66f6477297

Added tag version-7 for changeset 0d4bb2f8908a
author Guido Berhoerster <guido+pui@berhoerster.name>
date Tue, 17 Nov 2020 12:23:33 +0100
parents 3d72ca76538d
children
line wrap: on
line diff