--- Begin Message ---
Subject: |
[PATCH 0/2] Add emacs-idris-mode. |
Date: |
Thu, 24 Aug 2017 13:50:14 +0200 |
The following pathces add emacs-idris-mode, and a dependency.
Peter Mikkelsen (2):
gnu: Add emacs-prop-menu.
gnu: Add emacs-idris-mode.
gnu/packages/emacs.scm | 58 ++++++++++++++++++++++++++++++++++++++++++++++++++
1 file changed, 58 insertions(+)
--
2.14.1
--- End Message ---
--- Begin Message ---
Subject: |
Re: [bug#28216] [PATCH 0/2] Add emacs-idris-mode. |
Date: |
Thu, 31 Aug 2017 14:59:30 +0200 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/25.2 (gnu/linux) |
Peter Mikkelsen <address@hidden> skribis:
> Peter Mikkelsen (2):
> gnu: Add emacs-prop-menu.
> gnu: Add emacs-idris-mode.
Applied, thanks!
Ludo’.
--- End Message ---