diff etc/INTERVIEW @ 28539:918f12c5c8e3

(setup_echo_area_for_printing): Choose an echo area buffer, if it's not set up yet.
author Gerd Moellmann <gerd@gnu.org>
date Mon, 10 Apr 2000 13:14:24 +0000
parents 6b5aacec5ace
children c53a9463c31a
line wrap: on
line diff