allow either backspace or DEL, in addition to the user's erase
char, to be used in get_input_line()
1 file changed