diff pui-prefs-window.ui @ 47:0d4bb2f8908a version-7

Release version 7
author Guido Berhoerster <guido+pui@berhoerster.name>
date Tue, 17 Nov 2020 12:21:47 +0100
parents 3d72ca76538d
children
line wrap: on
line diff