diff Makefile.in @ 45864:112a1c9eb59b

use correct @setfilename
author David Kastrup <dak@gnu.org>
date Mon, 17 Jun 2002 14:43:03 +0000
parents 954cf2c45e73
children de181d2faf0e
line wrap: on
line diff