diff pui-prefs-window.ui @ 42:7b2923f7066c

Added tag version-6 for changeset 3d130c34ff97
author Guido Berhoerster <guido+pui@berhoerster.name>
date Fri, 21 Aug 2020 15:47:54 +0200
parents 3d72ca76538d
children
line wrap: on
line diff