view pui-prefs.gresource.xml @ 68:e1ea4e1ce17c default tip

Added tag version-9 for changeset 527d2ecef3bd
author Guido Berhoerster <guido+pui@berhoerster.name>
date Sun, 09 Jun 2024 17:53:22 +0200
parents 2f04ec9e0506
children
line wrap: on
line source

<?xml version="1.0" encoding="UTF-8"?>
<gresources>
  <gresource prefix="/org/guido-berhoerster/code/package-update-indicator/preferences">
    <file compressed="true">pui-prefs-window.ui</file>
  </gresource>
</gresources>