diff man/autotype.texi @ 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 32f10000ac35
children 5a3dae2132b4
line wrap: on
line diff