diff pui-prefs.gresource.xml @ 1:2f04ec9e0506

Add preferences application Split settings into separate file.
author Guido Berhoerster <guido+pui@berhoerster.name>
date Fri, 08 Jun 2018 08:38:42 +0200
parents
children
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/pui-prefs.gresource.xml	Fri Jun 08 08:38:42 2018 +0200
@@ -0,0 +1,6 @@
+<?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>