diff options
| author | Amaan Qureshi <amaanq12@gmail.com> | 2023-03-21 19:57:33 +0000 |
|---|---|---|
| committer | Bram Moolenaar <Bram@vim.org> | 2023-03-21 19:57:33 +0000 |
| commit | 4a5c39fc52a73d46ac77cf574f765a465befc3c0 (patch) | |
| tree | 4053da8d2c4e77b3a861347b21ece12a1567a185 /runtime | |
| parent | 5fedb8a5ab7addb584728c89e809be190de992bf (diff) | |
| download | vim-git-4a5c39fc52a73d46ac77cf574f765a465befc3c0.tar.gz | |
patch 9.0.1419: Lean files are not recognizedv9.0.1419
Problem: Lean files are not recognized.
Solution: Add a pattern for Lean files. (Amaan Qureshi, closes #12177)
Diffstat (limited to 'runtime')
| -rw-r--r-- | runtime/filetype.vim | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/runtime/filetype.vim b/runtime/filetype.vim index d68c273bc..0fe303c11 100644 --- 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 |