diff etc/PROBLEMS @ 38393:2f9707a444e4

(get_next_display_element): Use CHAR_STRING_NO_SIGNAL instead of CHAR_STRING which can signal an error.
author Gerd Moellmann <gerd@gnu.org>
date Fri, 13 Jul 2001 09:30:21 +0000
parents 1ded478b3fda
children 8d7f5ed7deaa
line wrap: on
line diff