log src/testdir/dumps/Test_incsearch_substitute_04.dump @ 35306:2652eeba5e6b default tip

age author description
Sun, 12 Aug 2018 22:00:05 +0200 Christian Brabandt patch 8.1.0278: 'incsearch' highlighting does not accept reverse range v8.1.0278