maciej/emacs
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Replace icejam/ with icejam- and icejam-lang/ with icejam- namespacing
All checks were successful
/ Test config on 20 (push) Successful in 27s
Details

Browse source
This commit is contained in:
Maciej 2024-10-22 12:47:06 +03:00
parent 70418a27c3
commit 42e9ee7862
Signed by: maciej
GPG key ID: 41D62D42D3B0D765
31 changed files with 144 additions and 140 deletions
Download patch file Download diff file Expand all files Collapse all files

4
lisp/langs/icejam-lang-lean.el
View file

@ -14,7 +14,7 @@
:requires (lsp)
:defer t)
(defun icejam/activate-lean-mode ()
(defun icejam-activate-lean-mode ()
"All things for Lean mode."
(interactive)
@ -25,7 +25,7 @@
(add-to-list (make-local-variable 'company-backends)
'(company-capf company-yasnippet)))
(add-hook 'lean4-mode-hook 'icejam/activate-lean-mode)
(add-hook 'lean4-mode-hook 'icejam-activate-lean-mode)
(provide 'icejam-lang-lean)
;;; icejam-lang-lean.el ends here