log

age author description
Sun, 13 Jan 2002 10:14:47 +0000 Pavel Jank (read_key_sequence): Remove unused variable `extra_maps'.