diff options
author | Pacho Ramos <pacho@gentoo.org> | 2014-04-12 10:29:58 +0000 |
---|---|---|
committer | Pacho Ramos <pacho@gentoo.org> | 2014-04-12 10:29:58 +0000 |
commit | 7e45a06958048be82b8d8e42a6f734db6d0cf4d4 (patch) | |
tree | f2d3387a3a93b82fe790dfc891029ce9845670a8 /app-editors/gedit-plugins/metadata.xml | |
parent | Version bump, add mbim support (#507188 by Leho Kraav) (diff) | |
download | gentoo-2-7e45a06958048be82b8d8e42a6f734db6d0cf4d4.tar.gz gentoo-2-7e45a06958048be82b8d8e42a6f734db6d0cf4d4.tar.bz2 gentoo-2-7e45a06958048be82b8d8e42a6f734db6d0cf4d4.zip |
Fix itstool dependency (#504910 by Chris Reffett), drop old.
(Portage version: 2.2.10/cvs/Linux x86_64, signed Manifest commit with key A188FBD4)
Diffstat (limited to 'app-editors/gedit-plugins/metadata.xml')
-rw-r--r-- | app-editors/gedit-plugins/metadata.xml | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/app-editors/gedit-plugins/metadata.xml b/app-editors/gedit-plugins/metadata.xml index 6c8601d7a965..570a581fa9c5 100644 --- a/app-editors/gedit-plugins/metadata.xml +++ b/app-editors/gedit-plugins/metadata.xml @@ -7,8 +7,6 @@ <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='synctex'>Synchronize between LaTeX and PDF with gedit and - evince</flag> <flag name='terminal'>Embed a terminal in the bottom pane</flag> </use> </pkgmetadata> |