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

age author description
Fri, 02 Dec 2022 22:00:04 +0100 Bram Moolenaar patch 9.0.0993: display errors when adding or removing text property type v9.0.0993