log src/testdir/dumps/Test_incsearch_substitute_10.dump @ 35211:a19de24700b3 draft default tip

age author description
Fri, 31 Aug 2018 22:15:05 +0200 Christian Brabandt patch 8.1.0339: wrong highlight when 'incsearch' set and cancelling :s v8.1.0339