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

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