awesome-emacs/doomemacs
1
0
Fork 0
mirror of https://github.com/doomemacs/doomemacs synced 2025-09-06 15:13:33 -05:00
Code Issues Packages Projects Releases Wiki Activity
Files
d9fd5cb8f30cb2f7f1f9238b993361fa8717ee5f
doomemacs/modules/lang/agda/config.el
Henrik Lissner e6caaef9e6 fix(agda): remove defunct tree-sitter.el support
2025-05-15 13:01:40 +02:00

1.4 KiB
Raw Blame History

View Raw
Reference in New Issue View Git Blame Copy Permalink