Problem: filetype: tiger files are not recognized
Solution: Detect *.tig files as tiger filetype
(Christian Clason).
Reference:
- https://www.cs.princeton.edu/~appel/modern/
closes: #19202
Signed-off-by: Christian Clason <c.clason@uni-graz.at>
Signed-off-by: Christian Brabandt <cb@256bit.org>
"txi": "texinfo",
# Thrift (Apache)
"thrift": "thrift",
+ # Tiger
+ "tig": "tiger",
# TLA+
"tla": "tla",
# TPP - Text Presentation Program
tf: ['file.tf', '.tfrc', 'tfrc'],
thrift: ['file.thrift'],
tidy: ['.tidyrc', 'tidyrc', 'tidy.conf'],
+ tiger: ['file.tig'],
tilde: ['file.t.html'],
tla: ['file.tla'],
tli: ['file.tli'],
static int included_patches[] =
{ /* Add new patch number below this line */
+/**/
+ 2094,
/**/
2093,
/**/