diff make-dist @ 40711:ec841dc83e17

Fix local variables.
author Dave Love <fx@gnu.org>
date Sun, 04 Nov 2001 17:00:07 +0000
parents c1607757c868
children 3634931bc971
line wrap: on
line diff