diff pui-menu.ui @ 60:346153e041a0

Added tag version-8 for changeset e3fc9db49d36
author Guido Berhoerster <guido+pui@berhoerster.name>
date Wed, 07 Sep 2022 08:45:55 +0200
parents 2fa34d6272c6
children
line wrap: on
line diff