Mercurial > vim

diff runtime/filetype.vim @ 32176:50f887578908 v9.0.1419

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
patch 9.0.1419: Lean files are not recognized Commit: https://github.com/vim/vim/commit/4a5c39fc52a73d46ac77cf574f765a465befc3c0 Author: Amaan Qureshi <amaanq12@gmail.com> Date: Tue Mar 21 19:57:33 2023 +0000 patch 9.0.1419: Lean files are not recognized Problem: Lean files are not recognized. Solution: Add a pattern for Lean files. (Amaan Qureshi, closes https://github.com/vim/vim/issues/12177)
author Bram Moolenaar <Bram@vim.org>
date Tue, 21 Mar 2023 21:00:07 +0100
parents 7c131fe0b473
children 79ab211a3676
line wrap: on
line diff
--- a/runtime/filetype.vim
+++ b/runtime/filetype.vim
@@ -1112,6 +1112,9 @@ au BufNewFile,BufRead *.ldif			setf ldif
 " Ld loader
 au BufNewFile,BufRead *.ld			setf ld
 
+" Lean
+au BufNewFile,BufRead *.lean			setf lean
+
 " Ledger
 au BufRead,BufNewFile *.ldg,*.ledger,*.journal			setf ledger