Tomasz Brengos dea6552ef9 fix(agda): agda2-auto-maybe-all -> agda2-mimer-maybe-all ...

Fixes the broken Agda auto mode in Doom Emacs caused by the
introduction of mimer in Agda 2.7.0.

* modules/lang/agda/config.el (agda-auto-mode):
replaced agsy with mimer for auto mode call.

2024-10-24 17:43:56 -04:00

1.6 KiB

Raw Blame History

View Raw