9432ae260b
marge-bot has had GNOME wide Developer access for a while, which should be sufficient. Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell-extensions/-/merge_requests/333>
36 lines
1.5 KiB
Plaintext
36 lines
1.5 KiB
Plaintext
<!--
|
|
SPDX-FileCopyrightText: 2011 Giovanni Campagna <gcampagna@src.gnome.org>
|
|
|
|
SPDX-License-Identifier: CC0-1.0
|
|
-->
|
|
<Project xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
|
|
xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
|
|
xmlns:foaf="http://xmlns.com/foaf/0.1/"
|
|
xmlns:gnome="http://api.gnome.org/doap-extensions#"
|
|
xmlns="http://usefulinc.com/ns/doap#">
|
|
|
|
<name xml:lang="en">gnome-shell-extensions</name>
|
|
<shortdesc xml:lang="en">Modify and extend GNOME Shell functionality and behavior</shortdesc>
|
|
<description xml:lang="en">
|
|
GNOME Shell Extensions is a collection of extensions providing
|
|
additional and optional functionality to GNOME Shell.
|
|
Most extensions can be installed by configuring --prefix=$HOME/.local,
|
|
and will be picked automatically at next login.
|
|
</description>
|
|
<homepage rdf:resource="https://wiki.gnome.org/Projects/GnomeShell/Extensions" />
|
|
<support-forum rdf:resource="https://discourse.gnome.org/tag/shell" />
|
|
<download-page rdf:resource="https://download.gnome.org/sources/gnome-shell-extensions/" />
|
|
<bug-database rdf:resource="https://gitlab.gnome.org/GNOME/gnome-shell-extensions/issues" />
|
|
|
|
<category rdf:resource="http://api.gnome.org/doap-extensions#core" />
|
|
<programming-language>JavaScript</programming-language>
|
|
|
|
<maintainer>
|
|
<foaf:Person>
|
|
<foaf:name>Florian Müllner</foaf:name>
|
|
<foaf:mbox rdf:resource="mailto:fmuellner@gnome.org" />
|
|
<gnome:userid>fmuellner</gnome:userid>
|
|
</foaf:Person>
|
|
</maintainer>
|
|
</Project>
|