diff pui-prefs.gresource.xml @ 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 2f04ec9e0506
children
line wrap: on
line diff