view src/testdir/dumps/Test_prop_inserts_text_hi_1.dump @ 36544:a27d4c0319ac draft default tip

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>
author Christian Brabandt <cb@256bit.org>
date Tue, 12 Nov 2024 22:00:06 +0100
parents a680dc1b089d
children
line wrap: on
line source

>i+0&#ffffff0|n|s|e|r|t| |s|o|m|e| |t|e|x|t| |B+0#ffffff16#e000002|E|F|O|R|E|(+0#0000000#5fd7ff255|h+0&#ffffff0|e|r|e|)| |a|n|d| |t|h|e|r|e| @20
|~+0#4040ff13&| @58
|~| @58
|~| @58
|~| @58
| +0#0000000&@41|1|,|1| @10|A|l@1|