Florian Müllner df76c3fd11 Update links to use HEAD instead of master ... That way the link will keep working when projects change their default branch name. Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1914>		2021-07-18 21:45:46 +00:00
..
extensions-app	Update links to use HEAD instead of master	2021-07-18 21:45:46 +00:00
extensions-tool
gvc@7a621180b4
shew