diff pui-prefs-window.ui @ 12:0bd92ae3d077

Added tag version-1 for changeset 7f995e958703
author Guido Berhoerster <guido+pui@berhoerster.name>
date Fri, 06 Jul 2018 14:22:56 +0200
parents 3d72ca76538d
children
line wrap: on
line diff