log src/testdir/dumps/Test_incsearch_substitute_05.dump @ 29708:d97b2ce26258 v9.0.0194

age author description
Mon, 13 Aug 2018 11:15:05 +0200 Christian Brabandt patch 8.1.0279: 'incsearch' highlighting does not skip white space v8.1.0279