Commit graph

4 commits

Author SHA1 Message Date
Henrik Lissner
88844e9cec docs: simplify internal docs links
Fewer links means less confusion.

- Merge doom-issue and doom-commit links into doom-ref (for auto-linking
  Issue/PR/commit references).
- Merge doom-module-source and doom-docs-source links into doom-source.
- Rename doom-report-issue to doom-report.
- Use '!' as the icon for module issues link.
- Remove doom-repo (replaced with "doom:*" in :lang org module).
- Add doomdir and emacsdir links to :lang org module.
2021-11-21 20:04:28 +01:00
Henrik Lissner
20cac97c08 docs(:lang): update READMEs to new format 2021-11-21 20:04:28 +01:00
Rudi Grinberg
cd1783ed8e Fix wiki for agda
we no longer use agda-mode locate

Signed-off-by: Rudi Grinberg <rudi.grinberg@gmail.com>
2019-09-06 12:39:25 +09:00
Patrick Elliott
b3a83daf5f
Added basic agda support. 2018-08-21 12:46:29 +02:00