diff options
author | Marcus Lundblad <ml@update.uu.se> | 2019-05-19 22:02:12 +0200 |
---|---|---|
committer | Marcus Lundblad <ml@update.uu.se> | 2019-05-19 22:02:12 +0200 |
commit | 33c56b0ef2fa47672d9269bc67ceec7d02ef48fa (patch) | |
tree | acc71f4415c7820721ad720feee395a80326c07f /org.gnome.Maps.json | |
parent | f7fab43a4da80c027b07b9f34275c6323f2d05f0 (diff) | |
download | gnome-maps-33c56b0ef2fa47672d9269bc67ceec7d02ef48fa.tar.gz |
Remove accidentally added generated GJS script and commit the
correct changes.
Diffstat (limited to 'org.gnome.Maps.json')
-rw-r--r-- | org.gnome.Maps.json | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/org.gnome.Maps.json b/org.gnome.Maps.json index 0a6aad4b..148365db 100644 --- a/org.gnome.Maps.json +++ b/org.gnome.Maps.json @@ -169,8 +169,9 @@ ], "sources" : [ { - "type" : "git", - "url" : "https://gitlab.gnome.org/GNOME/folks.git" + "type" : "archive", + "url" : "https://ftp.gnome.org/pub/gnome/sources/folks/0.12/folks-0.12.1.tar.xz", + "sha256": "3ca9f2d50fdf5a7a3d3f59c49bd54ceaf8d8181938762370e07535f86d36d475" } ] }, |