tree db57dd38da81e7a6fab19cebb6e5c517c9e3b6ed
parent 0c319f8b4b40db93479506ab76d53f37f1afa8e9
author Benno Schulenberg <bensberg@justemail.net> 1468179385 +0200
committer Benno Schulenberg <bensberg@justemail.net> 1468179385 +0200

tweaks: fuse two handlings of a delete key, and fix a comment