awesome-emacs/doomemacs
1
0
Fork 0
mirror of https://github.com/doomemacs/doomemacs synced 2025-09-08 15:23:35 -05:00
Code Issues Packages Projects Releases Wiki Activity
Files
e0e2c3aa61c35b36f0972cde7f03af79957084f7
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