awesome-emacs/doomemacs
1
0
Fork 0
mirror of https://github.com/doomemacs/doomemacs synced 2025-08-01 12:17:25 -05:00
Code Issues Packages Projects Releases Wiki Activity

docs(agda): document +local flag

Browse Source
This commit is contained in:
Itai Y. Efrat
2022-04-09 18:28:48 +03:00
committed by Henrik Lissner
parent 6fcb99b35a
commit 8d8ec41c5c
1 changed files with 2 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
modules/lang/agda/README.org
View File

@ -13,7 +13,8 @@ exists directly in the agda repository, but not in melpa.
/This module has no dedicated maintainers./ [[doom-contrib-maintainer:][Become a maintainer?]]
** Module flags
/This module has no flags./
- +local ::
Use the =agda-mode= executable that comes with your local =agda= install.
** Packages
- unless [[doom-module:][+local]]