diff pui-prefs.gresource.xml @ 41:3d130c34ff97 version-6

Release version 6
author Guido Berhoerster <guido+pui@berhoerster.name>
date Fri, 21 Aug 2020 15:47:00 +0200
parents 2f04ec9e0506
children
line wrap: on
line diff