awesome-emacs/doomemacs
1
0
Fork 0
mirror of https://github.com/doomemacs/doomemacs synced 2025-08-29 14:33:34 -05:00
Code Issues Packages Projects Releases Wiki Activity
Files
6b203d74c9fb6f1cc6df8d1c2e4fc973c7b930fc
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