diff src/.gdbinit @ 26480:229494ea30fa

(echo_char): Use KEY_DESCRIPTION_SIZE to check free memory for push_key_description.
author Kenichi Handa <handa@m17n.org>
date Thu, 18 Nov 1999 05:09:18 +0000
parents 4379a41b6f2e
children c26a9f95a880
line wrap: on
line diff