log src/testdir/dumps/Test_diff_with_cursorline_02.dump @ 15836:fe7e94f39e7f v8.1.0925

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