mirrors/guru
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/guru.git synced 2026-07-20 12:33:40 -04:00
Code Issues Packages Projects Releases Wiki Activity

app-emacs/idris-mode: drop to maintainer-needed

Browse Source 
Signed-off-by: Matthew Smith <matthew@gentoo.org>
This commit is contained in:
Matthew Smith
2022-02-13 20:10:56 +00:00
parent add58dabf8
commit f3c71c8eae
1 changed files with 1 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
app-emacs/idris-mode/metadata.xml
View File

@@ -1,10 +1,7 @@
<?xml version="1.0" encoding="UTF-8"?> <?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> <!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
<pkgmetadata> <pkgmetadata>
<maintainer type="person"> <!-- maintainer-needed -->
<email>matt@offtopica.uk</email>
<name>Matt Smith</name>
</maintainer>
<longdescription lang="en"> <longdescription lang="en">
This is an emacs mode for editing Idris code. This is an emacs mode for editing Idris code.