diff nt/makefile.w32-in @ 43751:c82e347557f1

(mark_kboards): Mark echo_string.
author Gerd Moellmann <gerd@gnu.org>
date Wed, 06 Mar 2002 15:55:51 +0000
parents dbb37240de5f
children 5040cc502801
line wrap: on
line diff