log src/testdir/dumps/Test_matchclear_1.dump @ 35176:bbbd250e3d7a default tip

age author description
Wed, 24 Jul 2019 15:30:06 +0200 Bram Moolenaar patch 8.1.1741: cleared/added match highlighting not updated in other window v8.1.1741