diff etc/rgb.txt @ 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 4da47e04a087
children 23a1cea22d13
line wrap: on
line diff