log src/testdir/dumps/Test_diff_12.dump @ 15838:de068e9acd8e v8.1.0926

age author description
Mon, 10 Sep 2018 18:00:06 +0200 Christian Brabandt patch 8.1.0360: using an external diff program is slow and inflexible v8.1.0360