log src/testdir/dumps/Test_incsearch_substitute_03.dump @ 18139:59bc3cd42cf5 v8.1.2064

age author description
Sun, 12 Aug 2018 17:45:04 +0200 Christian Brabandt patch 8.1.0277: 'incsearch' highlighting wrong in a few cases v8.1.0277