diff leim/makefile.w32-in @ 37918:6beac97d064e

(Fload): Remove unused label.
author Gerd Moellmann <gerd@gnu.org>
date Mon, 28 May 2001 12:05:08 +0000
parents 037044a4e3a6
children 266a29987e3c
line wrap: on
line diff