diff make-dist @ 5703:62dce9e0e175

Whitespace change.
author Richard M. Stallman <rms@gnu.org>
date Sun, 30 Jan 1994 01:03:56 +0000
parents 27013efefaab
children 76d9b1408e5c
line wrap: on
line diff