guix-patches
[Top][All Lists]
Advanced
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

bug#28216: [PATCH 0/2] Add emacs-idris-mode.

From: Ludovic Courtès
Subject: 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’.
reply via email to
[Prev in Thread] Current Thread [Next in Thread]