thac0/vim
1
0
Fork 0
forked from aniani/vim
Code Activity

patch 9.1.0840: filetype: idris2 files are not recognized

Browse Source 
Problem:  filetype: idris2 files are not recognized
Solution: detect '*.idr' files as idris2, '*.lidr' files as lidris2
          and '*.ipkg' files as ipkg filetype (Serhii Khoma)

closes: #15987

Signed-off-by: Serhii Khoma <srghma@gmail.com>
Signed-off-by: Christian Brabandt <cb@256bit.org>
This commit is contained in:
Serhii Khoma
2024-11-04 20:14:43 +01:00
committed by Christian Brabandt
parent 93f65a4ab8
commit c04bc64ba6
3 changed files with 12 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
src/version.c
View File

@@ -704,6 +704,8 @@ static char *(features[]) =
static int included_patches[] =
{ /* Add new patch number below this line */
/**/
840,
/**/
839,
/**/