From c6ecf2c0dfbf3282365648836b882b7996367709 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Florian=20M=C3=BCllner?= Date: Wed, 29 Nov 2017 20:18:43 +0100 Subject: [PATCH] build: Update repo URL in metadata --- include.mk | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/include.mk b/include.mk index 0407a512..3ab665f9 100644 --- a/include.mk +++ b/include.mk @@ -1,4 +1,4 @@ -extensionurl = http://git.gnome.org/gnome-shell-extensions +extensionurl = https://gitlab.gnome.org/GNOME/gnome-shell-extensions # Change these to modify how installation is performed topextensiondir = $(datadir)/gnome-shell/extensions