[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#28216] [PATCH 0/2] Add emacs-idris-mode.
|
From: |
Peter Mikkelsen |
|
Subject: |
[bug#28216] [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
- [bug#28216] [PATCH 0/2] Add emacs-idris-mode.,
Peter Mikkelsen <=