diff --git a/.gitignore b/.gitignore index 6eb3554..afd027b 100644 --- a/.gitignore +++ b/.gitignore @@ -20,3 +20,4 @@ /gnome-clocks-3.11.90.tar.xz /gnome-clocks-3.11.92.tar.xz /gnome-clocks-3.12.0.tar.xz +/gnome-clocks-3.13.1.tar.xz diff --git a/0001-window.ui-Use-the-correct-parent-widget.patch b/0001-window.ui-Use-the-correct-parent-widget.patch deleted file mode 100644 index da4b1a6..0000000 --- a/0001-window.ui-Use-the-correct-parent-widget.patch +++ /dev/null @@ -1,26 +0,0 @@ -From 08eb9cf4fce7c936ab11d3a0b6d2638e5276a8e3 Mon Sep 17 00:00:00 2001 -From: Yosef Or Boczko -Date: Sun, 4 May 2014 01:27:52 +0300 -Subject: [PATCH] window.ui: Use the correct parent widget - -https://bugzilla.gnome.org/show_bug.cgi?id=729484 ---- - data/ui/window.ui | 2 +- - 1 file changed, 1 insertion(+), 1 deletion(-) - -diff --git a/data/ui/window.ui b/data/ui/window.ui -index 681b38a..c7a931f 100644 ---- a/data/ui/window.ui -+++ b/data/ui/window.ui -@@ -1,7 +1,7 @@ - - - --