log src/testdir/dumps/Test_diff_with_cursorline_03.dump @ 15375:6012cc6936f7 v8.1.0695

age author description
Tue, 02 Oct 2018 18:30:06 +0200 Christian Brabandt patch 8.1.0448: cursorline not removed when using 'cursorbind' v8.1.0448