log src/testdir/dumps/Test_cmdlineclear_tabenter.dump @ 35176:bbbd250e3d7a default tip

age author description
Sun, 19 Jan 2020 16:00:04 +0100 Bram Moolenaar patch 8.2.0131: command line is not cleared when switching tabs v8.2.0131