awesome-emacs/doomemacs
1
0
Fork 0
mirror of https://github.com/doomemacs/doomemacs synced 2025-08-21 13:53:38 -05:00
Code Issues Packages Projects Releases Wiki Activity

docs: change link format

Browse Source
This commit is contained in:
TEC
2022-09-26 02:19:42 +08:00
committed by Henrik Lissner
parent 58fb83c98e
commit 5ac2a5258b
160 changed files with 1161 additions and 1152 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
modules/lang/lean/README.org
View File

@@ -13,8 +13,8 @@ This module adds support for the [[https://leanprover.github.io/about/][Lean pro
/This module has no flags./
** Packages
- [[doom-package:][lean-mode]]
- [[doom-package:][company-lean]] if [[doom-module:][:completion company]]
- [[doom-package:lean-mode]]
- [[doom-package:company-lean]] if [[doom-module::completion company]]
** TODO Hacks
#+begin_quote