log src/testdir/dumps/Test_diff_12.dump @ 14746:9770c6323d17 v8.1.0385

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