diff Makefile.in @ 80956:d13fdda55368

Tweak previous change.
author Glenn Morris <rgm@gnu.org>
date Fri, 18 May 2007 07:42:47 +0000
parents a268dce1f560
children 6e5cac7193a6 70bf32a0f523
line wrap: on
line diff