mirror of
https://anongit.gentoo.org/git/repo/gentoo.git
synced 2025-07-25 00:19:49 +02:00
61d5f30bff
Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
4 lines
181 B
EmacsLisp
4 lines
181 B
EmacsLisp
(add-to-list 'load-path "@SITELISP@")
|
|
(autoload 'lean-mode "lean-mode"
|
|
"Major mode for editing Lean 3 source files." t)
|
|
(add-to-list 'auto-mode-alist '("\\.lean\\'" . lean-mode))
|