summary refs log tree commit diff
path: root/pkgs/applications/editors/emacs/elisp-packages/agda-input
Commit message (Expand)AuthorAge
* emacs.pkgs.agda-input: Fix syntax erroradisbladis2021-09-16
* emacsPackages.agda-input: extract from manual-packages.nixAndersonTorres2021-09-15
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-05-29 00:08:06 +0000