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

lang/lean: minor reformatting

Browse Source
This commit is contained in:
Henrik Lissner
2021-02-26 21:24:54 -05:00
parent 9ef11d0e31
commit 7e491ce1c0
1 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
modules/lang/lean/config.el
View File

@ -29,8 +29,8 @@
(use-package! company-lean
:when (featurep! :completion company)
:after lean-mode
:init
(advice-add #'company-lean-hook :override #'ignore)
(set-company-backend! 'lean-mode 'company-lean)
:when (featurep! :completion company)
:after lean-mode)
(set-company-backend! 'lean-mode 'company-lean))