gentoo-mirror/gentoo
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/gentoo.git synced 2026-09-24 04:59:14 -07:00
Code Issues Projects Releases Wiki Activity

app-editors/gedit-plugins: Set remote-id

Browse Source 
Signed-off-by: Matt Turner <mattst88@gentoo.org>
This commit is contained in:
Matt Turner
2022-10-29 17:19:34 -04:00
parent e5771d9a74
commit 8db16170bb
1 changed files with 12 additions and 10 deletions
Download Patch File Download Diff File Expand all files Collapse all files

22
app-editors/gedit-plugins/metadata.xml
View File

@@ -1,14 +1,16 @@
<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd">
<pkgmetadata>
<maintainer type="project">
<email>gnome@gentoo.org</email>
<name>Gentoo GNOME Desktop</name>
</maintainer>
<use>
<flag name="charmap">Insert special characters just by clicking on
them</flag>
<flag name="git">Shows document changes related to git's HEAD</flag>
<flag name="terminal">Embed a terminal in the bottom pane</flag>
</use>
<maintainer type="project">
<email>gnome@gentoo.org</email>
<name>Gentoo GNOME Desktop</name>
</maintainer>
<use>
<flag name="charmap">Insert special characters just by clicking on them</flag>
<flag name="git">Shows document changes related to git's HEAD</flag>
<flag name="terminal">Embed a terminal in the bottom pane</flag>
</use>
<upstream>
<remote-id type="gnome-gitlab">GNOME/gedit-plugins</remote-id>
</upstream>
</pkgmetadata>