comparison etc/ps-prin0.ps @ 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 (2002-01-13)
parents b5a4db21c424
children e5675426ff4c
comparison
equal deleted inserted replaced
42706:be541feb06cc 42707:8d5458375774