diff pui-menu.ui @ 11:7f995e958703 version-1

Release version 1
author Guido Berhoerster <guido+pui@berhoerster.name>
date Fri, 06 Jul 2018 14:21:28 +0200
parents 2fa34d6272c6
children
line wrap: on
line diff