diff --git a/app-emacs/idris-mode/metadata.xml b/app-emacs/idris-mode/metadata.xml index d99760071a..b12f2a1ff6 100644 --- a/app-emacs/idris-mode/metadata.xml +++ b/app-emacs/idris-mode/metadata.xml @@ -1,10 +1,7 @@ - - matt@offtopica.uk - Matt Smith - + This is an emacs mode for editing Idris code.