diff man/doclicense.texi @ 42707:8d5458375774

(read_key_sequence): Remove unused variable `extra_maps'. Fix typo.
author Pavel Janík <Pavel@Janik.cz>
date Sun, 13 Jan 2002 10:14:47 +0000
parents 2dfd0e5eb216
children 695cf19ef79e d7ddb3e565de
line wrap: on
line diff