tribes/guix
1
0
Fork 1
mirror of https://git.savannah.gnu.org/git/guix.git synced 2026-04-21 01:30:29 +02:00
Code Activity
Files
7f46cd4becbb82240c676d1024055eeb04efca95
guix/gnu/packages/agda.scm
Morgan Smith 8f95bc1764 gnu: emacs-agda2-mode: Use '#:lisp-directory'. 
* gnu/packages/agda.scm (emacs-agda2-mode): Use '#:lisp-directory'.

Change-Id: I8840159c4780d9bcc2e5e13615c353a3836cae10
Signed-off-by: Liliana Marie Prikler <liliana.prikler@gmail.com>
2025-06-15 16:56:50 +02:00

13 KiB
Raw Blame History

View Raw
View Git Blame Copy Permalink