diff make-dist @ 31873:3440ceda4745

(quit_throw_to_read_char): Declare NO_RETURN.
author Gerd Moellmann <gerd@gnu.org>
date Mon, 25 Sep 2000 14:24:23 +0000
parents 422e0ad3418f
children 7b81c864cccf
line wrap: on
line diff