log src/testdir/dumps/Test_diff_of_diff_02.dump @ 35178:b094a5d09a9d default tip

age author description
Fri, 29 Mar 2019 18:30:04 +0100 Bram Moolenaar patch 8.1.1073: space in number column is on wrong side with 'rightleft' set