From 372126fbcb0770846081faec7198df08da104272 Mon Sep 17 00:00:00 2001 From: Christian Buschau Date: Wed, 23 Jan 2019 07:47:10 +0100 Subject: [PATCH] gnome-desktop: add update file [ci skip] --- srcpkgs/gnome-desktop/update | 1 + 1 file changed, 1 insertion(+) create mode 100644 srcpkgs/gnome-desktop/update diff --git a/srcpkgs/gnome-desktop/update b/srcpkgs/gnome-desktop/update new file mode 100644 index 00000000000..a73db8805ed --- /dev/null +++ b/srcpkgs/gnome-desktop/update @@ -0,0 +1 @@ +ignore="*.[0-9]*[13579].*"