log src/testdir/dumps/Test_incsearch_substitute_08.dump @ 36570:b9ea000fa602 draft default tip

age author description
Tue, 14 Aug 2018 18:30:06 +0200 Christian Brabandt patch 8.1.0284: 'cursorline' highlighting wrong with 'incsearch' v8.1.0284