runtime(idris2): include filetype,indent+syntax plugins for (L)Idris2 + ipkg Commit: https://github.com/vim/vim/commit/5ca8f223f03dbd85f5e06c8e1d500c65f311eaf1 Author: Serhii Khoma <srghma@gmail.com> Date: Tue Nov 12 21:49:42 2024 +0100 runtime(idris2): include filetype,indent+syntax plugins for (L)Idris2 + ipkg closes: https://github.com/vim/vim/issues/15993 Co-authored-by: Christian Clason <ch.clason+github@icloud.com> Signed-off-by: Serhii Khoma <srghma@gmail.com> Signed-off-by: Christian Brabandt <cb@256bit.org>

| +0&#ffffff0@2|s|o|m|e| |t|e|x|t| |h|e|r|e| |a|n|d| |o|t|h|e|r| |t|e|x|t| |t|h|e|r|e| +0&#ffff4012|A|F|T|E|R| | +0&#ffffff0@7| +0#ffffff16#e000002|R|I|G|H|T| 
| +0#0000000#5fd7ff255|B|E|L|O|W| | +0&#ffffff0@52
| +0&#5fd7ff255|A|L|S|O| |B|E|L|O|W| | +0&#ffffff0@47
|L|a|s|t| |l|i|n|e>.| +0&#ffff4012|A|f|t|e|r| |L|a|s|t| | +0&#ffffff0@37
|r|i|g|h|t| |h|e|r|e| @37|s+0#ffffff16#e000002|ö|m|e|和*&|平|t+&|é|x|t
|~+0#4040ff13#ffffff0| @58
|~| @58
| +0#0000000&@41|2|,|1|0| @9|A|l@1|